940 search results - page 3 / 188 » Local rely-guarantee reasoning |
105
click to vote
PPOPP
2006
ACM
15 years 7 months ago
2006
ACM
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
110
Voted
CSL
1999
Springer
15 years 1 months ago
1999
Springer
109
click to vote
DLOG
2009
14 years 11 months ago
2009
Abstract. Generalized closed world reasoning allows for the assumption of a specified maximal set of negated atomic assertions retaining the consistency of an indefinite knowledge ...