Forward and backward simulations for timing-based systems
- 1 January 1992
- book chapter
- Published by Springer Nature
- p. 397-446
- https://doi.org/10.1007/bfb0032002
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- A temporal calculus of communicating systemsPublished by Springer Nature ,2005
- Real time process algebraFormal Aspects of Computing, 1991
- The existence of refinement mappingsTheoretical Computer Science, 1991
- Simulations between specifications of distributed systemsPublished by Springer Nature ,1991
- Time-constrained automataPublished by Springer Nature ,1991
- Process simulation and refinementFormal Aspects of Computing, 1989
- A state-based approach to communicating processesDistributed Computing, 1988
- Prespecification in data refinementInformation Processing Letters, 1987
- Modular verification of asynchronous networksPublished by Association for Computing Machinery (ACM) ,1987
- Specifying Concurrent Program ModulesACM Transactions on Programming Languages and Systems, 1983