A brief history of Timed CSP

Communicating sequential processes

C. A. R. Hoare · Communications of the ACM · 1983 · 3.8K citations · Full text

Computing, Computer Science, Computer Architecture +16

Communicating sequential processes

C. A. R. Hoare · Communications of the ACM · 1978 · 3.5K citations · Full text

Computing, Computer Science, Computer Architecture +16

Communicating sequential processes

Microprocessors and Microsystems · 1986 · 2.2K citations

Algebraic laws for nondeterminism and concurrency

Matthew Hennessy, Robin Milner · Journal of the ACM · 1985 · 1.4K citations

Computing, Computer Science, Computer Systems +15

Real time process algebra

J. C. M. Baeten, J. A. Bergstra · Formal Aspects of Computing · 1991 · 369 citations · Full text

Computing, Computer Science, Formal Methods +13