Denotational semantics for occam
A. W. Roscoe
Book Title
Proceedings of the Pittsburgh seminar on concurrency
Number
197
Pages
306–329
Publisher
Springer
Series
LNCS
Year
1985
A. W. Roscoe