A calculus of communicating systems (1980)

by R M1LNER
Venue:LNCS 92