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...
| Asıl Yazarlar: | , , |
|---|---|
| Materyal Türü: | Journal article |
| Baskı/Yayın Bilgisi: |
Elsevier
2016
|