The fusion calculus: Expressiveness and symmetry in mobile processes (1998)

by J Parrow, B Victor
Venue:In Proceedings of LICS '98