121
click to vote
ERSHOV
2009
Springer
16 years 4 days ago
2009
Springer
Abstract. The quest for modular concurrency reasoning has led to recent proposals that extend program assertions to include not just knowledge about the state, but rights to access...