TY - RPRT TI - Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? AU - Luca Aceto AU - Valentina Castiglioni AU - Wan Fokkink AU - Anna Igolfsdottir AU - Bas Luttik PY - 2022 UR - https://arxiv.org/abs/2010.01943 ID - 2010.01943 ER -