J. Rutten

• Ten Years of Concurrency Semantics