D.: A calculus of mobile processes, part i. (1992)

by R Milner, J Parrow, Walker
Venue:IC