CSP-Literatur

S. Brookes, A. W. Roscoe, and D. J. Walker: An Operational Semantics for CSP. Manuscript, 1988.

Text: http://www.cs.cmu.edu/afs/cs.cmu.edu/user/brookes/www/papers/OperationalSemanticsCSP.pdf

Autor: http://www.cs.cmu.edu/afs/cs.cmu.edu/user/brookes/www/