Semantics of Communicating Parallel Processes (1975)

by Irene Greif