A calculus of mobile processes (0)

by Robin Milner, Joachim Parrow, David Walker
Venue:Heriot-Watt Univ., School of