Liveness in Timed and Untimed Systems

Author(s)
Gawlick, Rainer; Segala, Roberto; Søgaard-Andersen, Jørgen; Lynch, Nancy A.
Thumbnail
DownloadMIT-LCS-TR-587.pdf (8.987Mb)
Metadata
Show full item record
Abstract
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-12
URI
https://hdl.handle.net/1721.1/149752
Series/Report no.
MIT-LCS-TR-587
Collections