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
A. W. Roscoe‚ M.H. Goldsmith and B.G.O. Scott