Structured Operational Sematics for Process Algebras and Equational Axiom Systems.

Bard Bloom

Browse the full CONCUR paper archive.