Weak Sequential Composition in Process Algebras (1994)

by Arend Rensink, Heike Wehrheim
Venue:CONCUR'94: Concurrency Theory, volume 836 of Lecture Notes in Computer Science