Proof of correctness of Ressel's adopted algorithm

DOI10.1016/S0020-0190(03)00227-8MaRDI QIDQ1007634zbMATH OpenFDO

Authors Brad Lushman, Gordon V. Cormack

Publication date 23 March 2009

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

zbMATH Keywords

distributed computingdistributed systemsconcurrency controlgroupware

Mathematics Subject Classification ID

Distributed systems (68M14)

Cites work

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

Cited in

(4)

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

This page was built for publication: Proof of correctness of Ressel's adopted algorithm

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1007634)