Strong stable properties in distributed systems
From MaRDI portal
Publication:5136983
DOI10.1007/BF02280831zbMath1448.68161MaRDI QIDQ5136983
Publication date: 30 November 2020
Published in: Distributed Computing (Search for Journal in Brave)
distributed systemsdeadlock detectiontermination detectionconsistent snapshotdistributed garbage collectionstrong stable property
Related Items (2)
A framework for viewing atomic events in distributed computations ⋮ Efficient detection of a class of stable properties
Cites Work
- Distributed deadlock detection
- The derivation of graph marking algorithms from distributed termination detection protocols
- On distributed snapshots
- An efficient reference counting solution to the distributed garbage collection problem
- Termination detection for diffusing computations
- A Distributed Algorithm for Mutual Exclusion in an Arbitrary Network
- Time, clocks, and the ordering of events in a distributed system
This page was built for publication: Strong stable properties in distributed systems
