Communicating sequential processes

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