activity
20192026
most citedComplexity through Translations for Modal Logic with Recursion

2 citations · 2 across the 7 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 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…