Rollback-dependency trackability: A minimal characterization and its protocol

DOI10.1006/INCO.2000.2906zbMath1003.68084OpenAlexW2088230933MaRDI QIDQ1854416

Roberto Baldoni, Michel Raynal, Jean-Michel Helary

Publication date: 14 January 2003

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.2000.2906

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14) Distributed algorithms (68W15)

Related Items (2)

Communication Patterns and Input Patterns in Distributed Computing ⋮ An enhanced model-based checkpointing protocol for preventing useless checkpoints

Cites Work

• Rollback-dependency trackability
• Checkpointing and Rollback-Recovery for Distributed Systems
• State Restoration in Systems of Communicating Processes
• Time, clocks, and the ordering of events in a distributed system

This page was built for publication: Rollback-dependency trackability: A minimal characterization and its protocol