A Calculus of Mobile Processes – parts I and II (1992)

by R Milner, J Parrow, D Walker
Venue:University of Edinburgh, UK