Algebraic Operational Semantics and Occam.

Yuri Gurevich, Lawrence S. Moss

Browse the full CSL paper archive.