Proof of correctness of Ressel's adopted algorithm

DOI10.1016/S0020-0190(03)00227-8zbMATH Open1162.68373MaRDI QIDQ1007634FDOQ1007634

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

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

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)