Skip to main content
Share Your Experience: Take the 2024 Developer Survey
2 votes
Accepted

Topological/metric space formed by behaviors of distributed system: Safety and Liveness

The standard reference for the topological characterisation is Bowen Alpern and Fred B. Schneider. Defining liveness. Information Processing Letters, 21(4): 181–185, October 1985. One notable ...
Kai's user avatar
  • 908

Only top scored, non community-wiki answers of a minimum length are eligible