Algebra of Communicating Processes

Из Википедии, свободной энциклопедии