A Calculus for Cornrnunicating Systems (1980)

by R Milner
Venue:LNCS 92