CCS expressions, finite state processes, and three problems of equivalence

Algebraic laws for nondeterminism and concurrency

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

Computing, Computer Science, Computer Systems +15

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

Engineering, Computer Science, Mathematics +10

Three Partition Refinement Algorithms

Robert Paige, Robert E. Tarjan · SIAM Journal on Computing · 1987 · 1.2K citations

Computing, Computer Science, Mathematics +13

Testing equivalences for processes

Rocco De Nicola, Matthew Hennessy · Theoretical Computer Science · 1984 · 1.2K citations

Engineering, Systems Engineering, Stochastic Processes +4

Calculi for synchrony and asynchrony

Robin Milner · Theoretical Computer Science · 1983 · 898 citations · Full text

Computing, Computer Science, Formal Methods +6