Hall, J. "A Petri Net Semantics of Occam 2" CS-TR: 329, Department of Computing Science, University of Newcastle, 1991

(1991)

Languages mentioned

  • Occam 2 {1987} Improved version of Occam