Communicating sequential processes.

Author(s): C Hoare, C. HOARE, CAR Hoare, C.A.R. Hoare, C. Hoare, C. Hoare

Publication date: 1985

Read this book at

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Data availability:

Comments

Comment on this book

Cited by 37

Kronecker Based Matrix Representations for Large Markov Models
Authors: Peter Buchholz, Peter Kemper
The Syntax and Semantics of μCRL
Authors: Jan Groote, Alban Ponse
The EXACT description of biomedical protocols
Authors: Larisa Soldatova, Wayne Aubrey, Ross D. King …

See all cited by