The glory of the past
- 1 January 1985
- book chapter
- Published by Springer Nature
- p. 196-218
- https://doi.org/10.1007/3-540-15648-8_16
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Checking that finite state concurrent programs satisfy their linear specificationPublished by Association for Computing Machinery (ACM) ,1985
- A model and temporal proof system for networks of processesPublished by Association for Computing Machinery (ACM) ,1985
- Adequate proof principles for invariance and liveness properties of concurrent programsScience of Computer Programming, 1984
- Basic Tense LogicPublished by Springer Nature ,1984
- Real-time programming and asynchronous message passingPublished by Association for Computing Machinery (ACM) ,1983
- Modular Verification of Computer Communication ProtocolsIEEE Transactions on Communications, 1983
- On the temporal analysis of fairnessPublished by Association for Computing Machinery (ACM) ,1980
- An axiomatic proof technique for parallel programs IActa Informatica, 1976
- Theories of automata on ω-tapes: A simplified approachJournal of Computer and System Sciences, 1974
- Weak Second‐Order Arithmetic and Finite AutomataMathematical Logic Quarterly, 1960