Semantics of Communicating Parallel Processes (1975)

by Greif
Venue:Ph.D. thesis, MIT