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…