Interval approximations of message causality in distributed executions

DOI10.1007/3-540-55210-3_197zbMath1494.68023OpenAlexW1524739905MaRDI QIDQ5096795

Claire Diehl, Claude Jard

Publication date: 18 August 2022

Published in: STACS 92 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-55210-3_197

Mathematics Subject Classification ID

Distributed systems (68M14)

Related Items

Reachability analysis on distributed executions

Cites Work

• Unnamed Item
• Unnamed Item
• Concerning the size of logical clocks in distributed systems
• A decomposition theorem for partially ordered sets
• An axiomatic approach to distance on partial orderings
• Scheduling Interval-Ordered Tasks
• Time, clocks, and the ordering of events in a distributed system