Safety and Liveness in Distributed system
Safety: Something that must never happen in a correct system. Liveness: Something that must eventually happen in a correct system.. We will use a banking system as an example in this article. Safety: We can't let users withdraw or transfer more money...
May 30, 20242 min read156