Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition?

Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Inglfsdttir, Bas Luttik

Browse the full CSL paper archive.