Denotational semantics of program schemas for languages for communicating sequential processes

From MaRDI portal
Publication:1901127