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