Liveness in timed and untimed systems

DOI10.1006/inco.1997.2671zbMath0917.68152OpenAlexW2016014698MaRDI QIDQ1271471

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

Publication date: 10 November 1998

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1997.2671

zbMATH Keywords

livenesssafetyreceptiveness

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

Liveness in timed and untimed systems, Dynamic input/output automata: a formal and compositional model for dynamic systems, Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems, Hybrid I/O automata., A note on fairness in I/O automata, Reconciling fault-tolerant distributed algorithms and real-time computing, A menagerie of timed automata, Testing timed automata, Towards a real-time distributed computing model, Action transducers and timed automata, Liveness in timed and untimed systems, On the refinement of liveness properties of distributed systems, Modularity for teams of I/O automata, Deductive verification of real-time systems using STeP, Trade-off results for connection management

Cites Work

• Unnamed Item
• A note on fairness in I/O automata
• The existence of refinement mappings
• Defining liveness
• Liveness in timed and untimed systems
• Testing equivalences for processes
• Quiescence, fairness, testing, and the notion of implementation
• A proof of the Kahn principle for input/output automata
• Forward and backward simulations. I. Untimed Systems
• Forward and backward simulations. II: Timing-based systems