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