Liveness in Timed and Untimed Systems
- 1 March 1998
- journal article
- Published by Elsevier in Information and Computation
- Vol. 141 (2) , 119-171
- https://doi.org/10.1006/inco.1997.2671
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A note on fairness in I/O automataInformation Processing Letters, 1996
- Forward and Backward SimulationsInformation and Computation, 1996
- Forward and Backward SimulationsInformation and Computation, 1995
- An old-fashioned recipe for real timeACM Transactions on Programming Languages and Systems, 1994
- The temporal logic of actionsACM Transactions on Programming Languages and Systems, 1994
- Composing specificationsACM Transactions on Programming Languages and Systems, 1993
- A proof of the Kahn principle for input/output automataInformation and Computation, 1989
- Defining livenessInformation Processing Letters, 1985
- Testing equivalences for processesTheoretical Computer Science, 1984