Liveness in Timed and Untimed Systems
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 calle...
| Main Authors: | , , , |
|---|---|
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149752 |
| _version_ | 1826209716194246656 |
|---|---|
| author | Gawlick, Rainer Segala, Roberto Søgaard-Andersen, Jørgen Lynch, Nancy A. |
| author_facet | Gawlick, Rainer Segala, Roberto Søgaard-Andersen, Jørgen Lynch, Nancy A. |
| author_sort | Gawlick, Rainer |
| collection | MIT |
| description | 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. |
| first_indexed | 2024-09-23T14:27:46Z |
| id | mit-1721.1/149752 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T14:27:46Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1497522023-03-30T03:24:56Z Liveness in Timed and Untimed Systems Gawlick, Rainer Segala, Roberto Søgaard-Andersen, Jørgen Lynch, Nancy A. 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. 2023-03-29T15:20:56Z 2023-03-29T15:20:56Z 1993-12 https://hdl.handle.net/1721.1/149752 42844924 MIT-LCS-TR-587 application/pdf |
| spellingShingle | Gawlick, Rainer Segala, Roberto Søgaard-Andersen, Jørgen Lynch, Nancy A. Liveness in Timed and Untimed Systems |
| title | Liveness in Timed and Untimed Systems |
| title_full | Liveness in Timed and Untimed Systems |
| title_fullStr | Liveness in Timed and Untimed Systems |
| title_full_unstemmed | Liveness in Timed and Untimed Systems |
| title_short | Liveness in Timed and Untimed Systems |
| title_sort | liveness in timed and untimed systems |
| url | https://hdl.handle.net/1721.1/149752 |
| work_keys_str_mv | AT gawlickrainer livenessintimedanduntimedsystems AT segalaroberto livenessintimedanduntimedsystems AT søgaardandersenjørgen livenessintimedanduntimedsystems AT lynchnancya livenessintimedanduntimedsystems |