Neelam Soundararajan;Roger L. Costello
The Ohio State University, Columbus;The Ohio State University, Columbus
Communicating sequential processes
Communications of the ACM