Rocco De Nicola
-
A Theory of Communicating Sequential Processes
Journal of the ACM (JACM)
Acceptance trees