In search of lost time: Axiomatising parallel composition in process algebras.

Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Inglfsdttir, Bas Luttik

Browse the full LICS paper archive.