1 citations · 1 across the 6 of their papers we have counts for
1 paper · 2 filters
Justus Fasse, Bart Jacobs
A well-established approach to proving progress properties such as deadlock-freedom and termination is to associate obligations with threads. For example, in most existing work the…