Time for concurrency
- 2 June 2005
- book chapter
- Published by Springer Nature
- p. 129-153
- https://doi.org/10.1007/3-540-56320-2_56
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Explicit clock temporal logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Timed transition systemsPublished by Springer Nature ,1992
- An old-fashioned recipe for real timePublished by Springer Nature ,1992
- Sooner Is Safer Than Later,Published by Defense Technical Information Center (DTIC) ,1991
- Temporal proof methodologies for real-time systemsPublished by Association for Computing Machinery (ACM) ,1991
- Specifying real-time properties with metric temporal logicReal-Time Systems, 1990
- An Interleaving Model for Real Time,Published by Defense Technical Information Center (DTIC) ,1990
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Examples of a real-time temporal logic specificationPublished by Springer Nature ,1985
- Proving real-time properties of programs with temporal logicPublished by Association for Computing Machinery (ACM) ,1981