H. Lin
-
Understanding the mismatch combinator in Chi calculus
Theoretical Computer Science
Bisimulation congruence of ℵ-calculus
Information and Computation
Tau laws for pi calculus
On quasi-open bisimulation