Programming Research Group Technical Monograph PRG-108

M H Goldsmith, A W Roscoe and B G O Scott

June 1993, 60 pages, ISBN 0-902928-85-6

This paper gives an untimed denotational semantics for the concurrent programming language oocam2. It draws heavily on the semantics for a large subset of proto-occam, but addresses the complete extended language (to the extent the model allows). The semantic domain used is a "failures/divergences" model, modified to allow machine states to be properly dealt with. This means that the issues of fairness and priority are not addressed.