Deconstructing CCS and CSP: Asynchronous Communication (2000)

by S Brookes
Venue:Fairness and Full Abstraction, 16th Conference on Mathematical Foundations of Programming Semantics