Skip to main content

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