2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.LO2026
Concurrency, Causality and Conflict via Independence in Reversible Calculi
Clément Aubert, Gabriele Cecilia, Iain C. C. Phillips +1
Among the different ways of approaching the semantics of process calculi, true-concurrency models stand out for their ability to highlight subtle interplays between events. At thei…
cs.LO2024★ 2 cited
Dependence and Independence for Reversible Process Calculi
Clément Aubert, Iain Phillips, Irek Ulidowski
To refine formal methods for concurrent systems, there are several ways of enriching classical operational semantics of process calculi. One can enable the auditing and undoing of…