A. Fekete, N. Lynch, and W. E. Weihl. Hybrid atomicity for nested transactions. Theoretical Comput. Sci., 149(1):151--178, 1995. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Action Contraction Using Coupled Simulation - Rensink (2000) (Correct)
....are usually motivated in terms of observability, but since an explicit notion of an observer is usually not given, it is not easy to see the relation to our notion of indistinguishability. Some more recent e#orts concern the development of weaker versions of the correctness criteria; see, e.g. [4, 19, 41, 59]. In this context, we should especially mention again the work on atomic transactions in Lynch et al. 45] Our main theorem is comparable to the Atomicity Theorem [45, Theorem 5.24] the main di#erences are . Lynch et al. consider transactions as interpreted entities, whose e#ect is explicitly ....
A. Fekete, N. Lynch, and W. E. Weihl. Hybrid atomicity for nested transactions. Theoretical Comput. Sci., 149(1):151--178, 1995.
Action Contraction Using Coupled Simulation - Rensink (2000) (Correct)
....are usually motivated in terms of observability, but since an explicit notion of an observer is usually not given, it is not easy to see the relation to our notion of indistinguishability. Some more recent e#orts concern the development of weaker versions of the correctness criteria; see, e.g. [4, 19, 41, 59]. In this context, we should especially mention again the work on atomic transactions in Lynch et al. 45] Our main theorem is comparable to the Atomicity Theorem [45, Theorem 5.24] the main di#erences are . Lynch et al. consider transactions as interpreted entities, whose e#ect is explicitly ....
A. Fekete, N. Lynch, and W. E. Weihl. Hybrid atomicity for nested transactions. Theoretical Comput. Sci., 149(1):151--178, 1995.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC