Sciweavers

3 search results - page 1 / 1
» acta 1999
Sort
View
ACTA
1999
73views more  ACTA 1999»
13 years 7 months ago
Comparing Expressibility of Normed BPA and Normed BPP Processes
Ivana Cerná, Mojmír Kretínsk&...
ACTA
2006
108views more  ACTA 2006»
13 years 7 months ago
Refinement verification of the lazy caching algorithm
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...
Wim H. Hesselink