André Schiper, Alain Sandoz
A stable property in a distributed system is a global property which once true, remains true forever. This paper refines this notion by formally introducing the concept of ``strong'' stable properties. A strong stable property has the nice property that it ...
1994