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...
| मुख्य लेखकों: | , , |
|---|---|
| स्वरूप: | Journal article |
| प्रकाशित: |
Elsevier
2016
|