Specification-oriented semantics for communicating processes (1983)

by E R OLDEROG, C A R HOARE
Venue:In Lecture Notes in Computer Science