Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?

Luca Aceto, Valentina Castiglioni, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik

Research output: Contribution to journalArticlepeer-review

Original languageUndefined/Unknown
JournalACM Transactions on Computational Logic
DOIs
Publication statusPublished - 31 Oct 2022

Cite this