Liveness in timed and untimed systems

DOI10.1007/3-540-58201-0_66zbMath1418.68139OpenAlexW1796678419MaRDI QIDQ4632424

Roberto Segala, Rainer Gawlick, Jørgen Søgaard-Andersen, Nancy A. Lynch

Publication date: 29 April 2019

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-58201-0_66

zbMATH Keywords

parallel compositionsafety propertyinput actionliveness propertyoutput action

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Modularity for timed and hybrid systems ⋮ Verifying abstractions of timed systems ⋮ Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study ⋮ Trade-off results for connection management

Cites Work

• Unnamed Item
• Safety and liveness from a methodological point of view
• Defining liveness
• Liveness in timed and untimed systems
• Forward and backward simulations. I. Untimed Systems
• Forward and backward simulations. II: Timing-based systems

This page was built for publication: Liveness in timed and untimed systems