Specification−oriented Semantics for Communicating Processes
E.R. Olderog and C.A.R. Hoare
Book Title
Automata‚ Languages and Programming — Proceedings of the 10th International Colloquiumi‚ Barcelona July 18–22. Lecture Notes in Computer Science 154
Editor
J. Diaz
Pages
561–572
Publisher
Springer−Verlag
Year
1983