Tau laws for pi calculus

Communication and concurrency

Wojciech Penczek · Science of Computer Programming · 1990 · 4K citations

A calculus of mobile processes, I

Robin Milner, Joachim Parrow, David Walker · Information and Computation · 1992 · 2.8K citations · Full text

Engineering, Mathematics, Markov Decision Processes +10

A calculus of mobile processes, II

Robin Milner, Joachim Parrow, David Walker · Information and Computation · 1992 · 1.7K citations · Full text

Engineering, Mathematics, Markov Decision Processes +11

Algebraic laws for nondeterminism and concurrency

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

Computing, Computer Science, Computer Systems +15

Testing equivalences for processes

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

Engineering, Systems Engineering, Stochastic Processes +4