Denotational semantics for occam2‚ Part 2
A. W. Roscoe‚ M.H. Goldsmith and B.G.O. Scott
Journal
Transputer Communications
Pages
25–67
Series
1
Volume
2
Year
1994
A. W. Roscoe‚ M.H. Goldsmith and B.G.O. Scott