Temporal verification of simulation and refinement
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 273-346
- https://doi.org/10.1007/3-540-58043-3_22
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- The existence of refinement mappingsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Completing the temporal pictureTheoretical Computer Science, 1991
- Stepwise Refinement of Distributed Systems Models, Formalisms, CorrectnessPublished by Springer Nature ,1990
- A really abstract concurrent model and its temporal logicPublished by Association for Computing Machinery (ACM) ,1986
- The glory of the pastPublished by Springer Nature ,1985
- Adequate proof principles for invariance and liveness properties of concurrent programsScience of Computer Programming, 1984
- The temporal logic of branching timeActa Informatica, 1983
- Specifying Concurrent Program ModulesACM Transactions on Programming Languages and Systems, 1983
- How to cook a temporal proof system for your pet languagePublished by Association for Computing Machinery (ACM) ,1983
- On the temporal analysis of fairnessPublished by Association for Computing Machinery (ACM) ,1980