A temporal-logic based compositional proof system for real-time message passing
- 1 January 1989
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 424-441
- https://doi.org/10.1007/3-540-51285-3_56
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Compositional semantics for real-time distributed computingInformation and Computation, 1988
- Applications of temporal logic to the specification of real time systemsLecture Notes in Computer Science, 1988
- Full abstraction of a real-time denotational semantics for an OCCAM-like languagePublished by Association for Computing Machinery (ACM) ,1987
- A compositional proof theory for real-time distributed message passingLecture Notes in Computer Science, 1987
- A model and temporal proof system for networks of processesDistributed Computing, 1986
- Now you may compose temporal logic specificationsPublished by Association for Computing Machinery (ACM) ,1984
- Real-time programming and asynchronous message passingPublished by Association for Computing Machinery (ACM) ,1983
- Proving Liveness Properties of Concurrent ProgramsACM Transactions on Programming Languages and Systems, 1982
- Proving real-time properties of programs with temporal logicPublished by Association for Computing Machinery (ACM) ,1981
- Communicating sequential processesCommunications of the ACM, 1978