940 search results - page 3 / 188 » Local rely-guarantee reasoning |
PPOPP
2006
ACM
14 years 6 days 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 ...
CADE
2005
Springer
13 years 11 months ago
2005
Springer
ICLP
2010
Springer
13 years 10 months ago
2010
Springer
CSL
1999
Springer
13 years 6 months ago
1999
Springer
DLOG
2009
13 years 4 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 ...