×

zbMATH — the first resource for mathematics

Proof of correctness of Ressel’s adopted algorithm. (English) Zbl 1162.68373

MSC:
68M14 Distributed systems
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Badrinath, B.R.; Ramamritham, K., Semantics-based concurrency control: beyond commutativity, ACM trans. database systems, 17, 1, 163-199, (1992)
[2] Bernstein, P.A.; Hadzilacos, V.; Goodman, N., Concurrency control and recovery in database systems, (1987), Addison-Wesley Reading, MA
[3] Birman, K.; Schiper, A.; Stephenson, P., Lightweight causal and atomic group multicast, ACM trans. comput. systems, 9, 3, 272-314, (1991)
[4] G.V. Cormack, A calculus for concurrent update, Research Report CS-95-06, Dept. of Computer Science, University of Waterloo, 1995
[5] Cowan, C.; Lutfiyya, H., Formal semantics for expressing optimism: the meaning of hope, (), 164-173 · Zbl 1373.68175
[6] Ellis, C.A.; Gibbs, S.J., Concurrency control in groupware systems, ACM SIGMOD record, 18, 2, 399-407, (1989)
[7] Herlihy, M., Apologizing versus asking permission: optimistic concurrency control for abstract data types, ACM trans. database systems, 15, 1, 96-124, (1990)
[8] Herlihy, M.P.; Wing, J.M., Linearizability: A correctness condition for concurrent objects, ACM trans. programm. languages systems, 12, 3, 463-492, (1990)
[9] Lamport, L., Time, clocks, and the ordering of events in a distributed system, Comm. ACM, 21, 7, 558-565, (1978) · Zbl 0378.68027
[10] Misra, J., Axioms for memory access in asynchronous hardware systems, ACM trans. programm. languages systems, 8, 1, 142-153, (1986) · Zbl 0593.68017
[11] Nichols, D.A.; Curtis, P.; Dixon, M.; Lamping, J., High-latency, low-bandwidth windowing in the Jupiter collaboration system, (), 111-120
[12] Ressel, M.; Nitsche-Ruhland, D.; Gunzenhäuser, R., An integrating, transformation-oriented approach to concurrency control and undo in group editors, (), 288-297
[13] Strohotte, T.W.; Cormack, G.V., Structured program lookahead, Comput. lang., 12, 2, 95-108, (1987) · Zbl 0617.68010
[14] Sun, C.; Jia, X.; Zhang, Y.; Chen, D., Achieving convergence, causality-preservation, and intention-preservation in real-time cooperative editing systems, ACM trans. computer – human interaction, 5, 1, 63-108, (1998)
[15] Sun, C.; Yang, Y.; Zhang, Y.; Chen, D., A consistency model and supporting schemes for real-time cooperative editing systems, (), 582-591
[16] Sun, C.; Ellis, C.A., Operational transformation in real-time group editors: issues, algorithms, and achievements, (), 59-68
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.