A Theory of Communicating Processes with Value Passing

Testing equivalences for processes

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

Engineering, Systems Engineering, Stochastic Processes +4

The Category-Theoretic Solution of Recursive Domain Equations

Michael Smyth, Gordon Plotkin · SIAM Journal on Computing · 1982 · 485 citations

Natural Sciences, Mathematics, Algebra +15

Acceptance trees

Matthew Hennessy · Journal of the ACM · 1985 · 152 citations · Full text

Computing, Computer Science, Algorithms +12

A tutorial on LOTOS

Ed Brinksma · TU/e Research Portal · 1985 · 69 citations

Natural Sciences, Computer Systems, Set Theory +1

An algebraic theory of fair asynchronous communicating processes

Matthew Hennessy · Theoretical Computer Science · 1987 · 31 citations

Computing, Computer Science, Mathematics +14