Skip to main content

Specification−oriented Semantics for Communicating Processes

E.R. Olderog and C.A.R. Hoare

Journal
Acta Informatica
Number
1
Pages
9–66
Volume
23
Year
1986