18 citations · 31 across the 11 of their papers we have counts for
1 paper · 1 filter
Alexander Kaiser, Daniel Kroening, Thomas Wahl
Monotonicity in concurrent systems stipulates that, in any global state, extant system actions remain executable when new processes are added to the state. This concept is not only…