Complete inference systems for weak bisimulation equivalences in the π-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

Symbolic bisimulations

Matthew Hennessy, Hui Lin · Theoretical Computer Science · 1995 · 315 citations

A theory of bisimulation for the π-calculus

Davide Sangiorgi · Acta Informatica · 1996 · 235 citations

Computing, Computer Science, Formal Methods +3