A calculus of communicating systems. (English) Zbl 0452.68027
Lecture Notes in Computer Science, 92. Berlin-Heidelberg-New York: Springer-Verlag. VI, 171 p. DM 21.50; $ 12.70 (1980).
MSC:
68N25 | Theory of operating systems |
68-02 | Research exposition (monographs, survey articles) pertaining to computer science |