3 search results - page 1 / 1 » Comparison Under Abstraction for Verifying Linearizability |
CAV
2007
Springer
13 years 11 months ago
2007
Springer
ACTA
2006
13 years 5 months ago
2006
The lazy caching algorithm of Afek, Brown, and Merrit (1993) is a protocol that allows the use of local caches with delayed updates. It results in a memory model that is not atomi...
LPNMR
1990
Springer
13 years 9 months ago
1990
Springer
We present a general theory for the use of negative premises in the rules of Transition System Specifications (TSSs). We formulate a criterion that should be satisfied by a TSS in ...