Theoretical Computer Science · 1988 · 284 citations · 12 references
ComputingComputer ScienceComputer SystemsReal-time SystemsStochastic ProcessesConcurrent ModelingDiscrete-event System ModelingPetri NetsProcess ModelingTemporal LogicTiming ModelingCommunicating Sequential ProcessesConcurrent ProcessesTimed AutomataTimed Automata SemanticsTimed Model Checking
12
Communicating sequential processes
C. A. R. Hoare · Communications of the ACM · 1983 · 3.8K citations · Full text
Communicating sequential processes
C. A. R. Hoare · Communications of the ACM · 1978 · 3.5K citations · Full text
Communicating sequential processes
Microprocessors and Microsystems · 1986 · 2.2K citations
A Theory of Communicating Sequential Processes
Stephen Brookes, C. A. R. Hoare, A. W. Roscoe · Journal of the ACM · 1984 · 1.2K citations · Full text
Processes and the denotational semantics of concurrency
J. W. de Bakker, J. I. Zucker · Information and Control · 1982 · 278 citations · Full text