The Connection between an Event Structure Semantics and an Operational Semantics for TCSP.

Christel Baier Mila E. Majster-Cederbaum The Connection between an Event Structure Semantics and an Operational Semantics for TCSP. 81-104 1994 31 Acta Inf. 1 db/journals/acta/acta31.html#BaierM94