TY  - RPRT
TI  - On the Axiomatisability of Parallel Composition
AU  - Luca Aceto
AU  - Valentina Castiglioni
AU  - Anna Ingolfsdottir
AU  - Bas Luttik
AU  - Mathias R. Pedersen
PY  - 2022
DO  - 10.46298/lmcs-18(1:15)2022
UR  - https://arxiv.org/abs/2102.11166
ID  - 2102.11166
ER  -