Lost in abstraction: monotonicity in multi-threaded programs
Monotonicity in concurrent systems stipulates that, in any global state, system actions remain executable when new processes are added to the state. This concept is both natural and useful: if every thread's memory is finite, monotonicity often guarantees the decidability of safety properties e...
| Hoofdauteurs: | , , |
|---|---|
| Formaat: | Journal article |
| Gepubliceerd in: |
Elsevier
2016
|