Liveness in timed and untimed systems
From MaRDI portal
Publication:1271471
DOI10.1006/inco.1997.2671zbMath0917.68152MaRDI QIDQ1271471
Roberto Segala, Nancy A. Lynch, Rainer Gawlick, Jørgen Søgaard-Andersen
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
68Q45: Formal languages and automata
Related Items
Testing timed automata, A note on fairness in I/O automata, Towards a real-time distributed computing model, Liveness in timed and untimed systems, Hybrid I/O automata., Deductive verification of real-time systems using STeP, Action transducers and timed automata, 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