"Process algebra for parallel and distributed processing" - читать интересную книгу автора (Michael Alexander, William Gardner)