Milner, Robin 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). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 23 ReviewsCited in 587 Documents MSC: 68N25 Theory of operating systems 68-02 Research exposition (monographs, survey articles) pertaining to computer science Keywords:communicating systems; concurrent systems; synchronized communications; concurrent composition; observational equivalence; silent transition; CSP; CCS Citations:Zbl 0434.68066 PDF BibTeX XML