Skip to main content

Denotational semantics for occam2‚ Part 1

A. W. Roscoe‚ M.H. Goldsmith and B.G.O. Scott

Journal
Transputer Communications
Pages
65–91
Series
2
Volume
1
Year
1994