Proof of correctness of Ressel's adopted algorithm

DOI10.1016/S0020-0190(03)00227-8zbMath1162.68373MaRDI QIDQ1007634

Brad Lushman, Gordon V. Cormack

Publication date: 23 March 2009

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

distributed systemsdistributed computingconcurrency controlgroupware

Mathematics Subject Classification ID

Distributed systems (68M14)

Related Items

Formal design and verification of operational transformation algorithms for copies convergence, Replicated abstract data types: building blocks for collaborative applications, Normalization of edit sequences for text synchronization, Verified Operational Transformation for Trees

Cites Work

• Axioms for memory access in asynchronous hardware systems
• Time, clocks, and the ordering of events in a distributed system
• Structured program lookahead
• Formal semantics for expressing optimism