David Walker
-
Complete inference systems for weak bisimulation equivalences in the π-calculus
Information and Computation