12 citations · 88 across the 34 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
In search of lost time: Axiomatising parallel composition in process algebras
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni +2
This survey reviews some of the most recent achievements in the saga of the axiomatisation of parallel composition, along with some classic results. We focus on the recursion, rela…
cs.LO2021
On the Axiomatisability of Parallel Composition
Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir +2
This paper studies the existence of finite equational axiomatisations of the interleaving parallel composition operator modulo the behavioural equivalences in van Glabbeek's linear…