Process Algebra and Structured Operational Semantics (1991)

by J F Groote