1
Published 1985
Springer Berlin Heidelberg
Table of Contents: ... -- Denotational semantics for occam -- Linguistic support of receptionists for shared resources -- Applications...