Weak Sequential Composition in Process Algebras.

Arend Rensink, Heike Wehrheim

Browse the full CONCUR paper archive.