Liveness in Timed and Untimed Systems
Author(s)
Gawlick, Rainer; Segala, Roberto; Søgaard-Andersen, Jørgen; Lynch, Nancy A.
DownloadMIT-LCS-TR-587.pdf (8.987Mb)
Metadata
Show full item recordAbstract
When proving the correctness of algorithms in distributed systems, one generally considers safety conditions and liveness conditions. The Input /Output (I/)0 automaton model and its timed version have used successfully, but have focused on safety conditions and on a restricted from of liveness called fairness.
Date issued
1993-12Series/Report no.
MIT-LCS-TR-587