Lectures on a calculus for communicating systems. (English) Zbl 0609.68021
Control flow and data flow: concepts of distributed programming, Proc. NATO Adv. Study Inst., Marktoberdorf/Ger. 1984, NATO ASI Ser., Ser. F 14, 205-228 (1985).
[For the entire collection see Zbl 0562.00010.]
The article is identical with the preceding one.
The article is identical with the preceding one.
MSC:
68N25 | Theory of operating systems |
68Q60 | Specification and verification (program logics, model checking, etc.) |
68Q55 | Semantics in the theory of computing |