Global Serializability of Concurrent Programs
暂无分享,去创建一个
[1] Toshihide Ibaraki,et al. Serializability with constraints , 1987, TODS.
[2] Gary L. Peterson,et al. Constructing multi-reader atomic values from non-atomic values , 1987, PODC '87.
[3] G. Kahn,et al. Semantics of Concurrent Computation , 1979, Lecture Notes in Computer Science.
[4] Nancy A. Lynch,et al. On Describing the Behavior and Implementation of Distributed Systems , 1979, Theor. Comput. Sci..
[5] Philip A. Bernstein,et al. Concurrency Control in Distributed Database Systems , 1986, CSUR.
[6] Philip A. Bernstein,et al. Formal Aspects of Serializability in Database Concurrency Control , 1979, IEEE Transactions on Software Engineering.
[7] Peter J. Denning,et al. Operating Systems Theory , 1973 .
[8] Dennis Shasha,et al. Efficient and correct execution of parallel programs that share memory , 1988, TOPL.
[9] Christos H. Papadimitriou,et al. The serializability of concurrent database updates , 1979, JACM.
[10] Gary L. Peterson,et al. Myths About the Mutual Exclusion Problem , 1981, Inf. Process. Lett..
[11] Leslie Lamport,et al. On interprocess communication , 1986, Distributed Computing.
[12] James H. Anderson,et al. Atomic Semantics of Nonatomic Programs , 1988, Inf. Process. Lett..
[13] Nancy A. Lynch,et al. Multilevel atomicity—a new correctness criterion for database concurrency control , 1983, TODS.