Liveness in timed and untimed systems
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 166-177
- https://doi.org/10.1007/3-540-58201-0_66
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Action transducers and timed automataPublished by Springer Nature ,2006
- Liveness in timed and untimed systemsPublished by Springer Nature ,1994
- Composing specificationsACM Transactions on Programming Languages and Systems, 1993
- Forward and backward simulations for timing-based systemsPublished by Springer Nature ,1992
- An old-fashioned recipe for real timePublished by Springer Nature ,1992
- Games I/O automata playPublished by Springer Nature ,1992
- Time-constrained automataPublished by Springer Nature ,1991
- Safety and liveness from a methodological point of viewInformation Processing Letters, 1990
- Hierarchical correctness proofs for distributed algorithmsPublished by Association for Computing Machinery (ACM) ,1987
- Defining livenessInformation Processing Letters, 1985