A calculus of communicating systems.
Series: Lecture notes in computer science -- 92
Publisher: Springer-Verlag
Published: 1980
Place of publication: Berlin; New York
Language: eng