Hierarchical development of concurrent systems in a temporal logic framework
- 1 January 1985
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Now you may compose temporal logic specificationsPublished by Association for Computing Machinery (ACM) ,1984
- Specifying Concurrent Program ModulesACM Transactions on Programming Languages and Systems, 1983
- Modular Verification of Computer Communication ProtocolsIEEE Transactions on Communications, 1983
- Proving Liveness Properties of Concurrent ProgramsACM Transactions on Programming Languages and Systems, 1982
- Proving safety and liveness of communicating processes with examplesPublished by Association for Computing Machinery (ACM) ,1982
- A calculus of total correctness for communicating processesScience of Computer Programming, 1981
- Proofs of Networks of ProcessesIEEE Transactions on Software Engineering, 1981
- A proof technique for communicating sequential processesActa Informatica, 1981
- An axiomatic proof technique for parallel programs IActa Informatica, 1976
- Past, Present and FuturePublished by Oxford University Press (OUP) ,1967