57 citations · 253 across the 38 of their papers we have counts for
3 papers · 1 filter
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…
A Choreographed Outline Instrumentation Algorithm for Asynchronous Components
Luca Aceto, Duncan Paul Attard, Adrian Francalanza +1
The runtime analysis of decentralised software requires instrumentation methods that are scalable, but also minimally invasive. This paper presents a new algorithm that instruments…
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…