Lost in abstraction: monotonicity in multi-threaded programs
<em>Monotonicity</em> 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 natural and common in multi-threaded software, but also useful: if every thread's memory is f...
| Main Authors: | , , |
|---|---|
| Other Authors: | |
| Format: | Conference item |
| Published: |
Springer Berlin Heidelberg
2014
|