Steven Ericsson Zenith
-
Communicating sequential processes
Models and languages for parallel computation
ACM Computing Surveys (CSUR)