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...
| Автори: | , , |
|---|---|
| Інші автори: | |
| Формат: | Conference item |
| Опубліковано: |
Springer Berlin Heidelberg
2014
|