Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Maciej Kokociski"'
Publikováno v:
Journal of Parallel and Distributed Computing. 100:57-70
In this paper we introduce two families of safety properties: -opacity and -linearizability. The new properties relax (to a various degree) the real-time order requirement on transaction execution in opacity and, analogically, the real-time order req