An Operational Semantics for CSP

Gordon D. Plotkin. An Operational Semantics for CSP. In Dines Bjørner, editor, Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982. pages 199-226, North-Holland, 1982.

Authors

Gordon D. Plotkin

This author has not been identified. It may be one of the following persons: Look up 'Gordon D. Plotkin' in Google