Liveness in Timed and Untimed Systems
| dc.contributor.author | Gawlick, Rainer | en_US |
| dc.contributor.author | Segala, Roberto | en_US |
| dc.contributor.author | Søgaard-Andersen, Jørgen | en_US |
| dc.contributor.author | Lynch, Nancy A. | en_US |
| dc.date.accessioned | 2023-03-29T15:20:56Z | |
| dc.date.available | 2023-03-29T15:20:56Z | |
| dc.date.issued | 1993-12 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149752 | |
| dc.description.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. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TR-587 | |
| dc.title | Liveness in Timed and Untimed Systems | en_US |
| dc.identifier.oclc | 42844924 |
