Using mappings to prove timing properties
- 1 September 1992
- journal article
- Published by Springer Nature in Distributed Computing
- Vol. 6 (2), 121-139
- https://doi.org/10.1007/bf02252683
Abstract
No abstract availableKeywords
This publication has 27 references indexed in Scilit:
- Automata for modeling real-time systemsPublished by Springer Nature ,2005
- Forward and backward simulations for timing-based systemsPublished by Springer Nature ,1992
- An old-fashioned recipe for real timePublished by Springer Nature ,1992
- Deciding properties of timed transition modelsIEEE Transactions on Parallel and Distributed Systems, 1990
- The Spring kernel: a new paradigm for real-time operating systemsACM SIGOPS Operating Systems Review, 1989
- Reasoning about time in higher-level language softwareIEEE Transactions on Software Engineering, 1989
- Time-dependent distributed systems: proving safety, liveness and real-time propertiesDistributed Computing, 1987
- Specifying Concurrent Program ModulesACM Transactions on Programming Languages and Systems, 1983
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Proving real-time properties of programs with temporal logicACM SIGOPS Operating Systems Review, 1981