Denotational semantics for occam II
A. W. Roscoe‚ M.H. Goldsmith and B.G.O. Scott
Institution
Oxford University Computing Laboratory
Number
PRG−108
Year
1993
A. W. Roscoe‚ M.H. Goldsmith and B.G.O. Scott