24
Voted
ERSHOV
2009
Springer
14 years 6 months 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...