24 citations · 61 across the 10 of their papers we have counts for
1 paper · 2 filters
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…