Denotational semantics for occam II

Bibliographic Details
Main Authors: Roscoe, A, Goldsmith, M, Scott, B
Format: Report
Published: Oxford University Computing Laboratory 1993