Skip to main content

Denotational semantics for occam 2

MH Goldsmith‚ AW Roscoe and BG Scott

Journal
Transputer Communications
Number
1(2); 2(1)
Year
1993