A model and temporal proof system for networks of processes
- 1 March 1986
- journal article
- Published by Springer Science and Business Media LLC in Distributed Computing
- Vol. 1 (1), 7-25
- https://doi.org/10.1007/bf01843567
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- A semantics and proof system for communicating processesLecture Notes in Computer Science, 1984
- Now you may compose temporal logic specificationsPublished by Association for Computing Machinery (ACM) ,1984
- How to cook a temporal proof system for your pet languagePublished by Association for Computing Machinery (ACM) ,1983
- Communicating Sequential ProcessesPublished by Springer Science and Business Media LLC ,1983
- Ten Years of Hoare's Logic: A Survey—Part IACM Transactions on Programming Languages and Systems, 1981
- Verification of Concurrent Programs. Part II. Temporal Proof Principles.Published by Defense Technical Information Center (DTIC) ,1981
- A proof technique for communicating sequential processesActa Informatica, 1981
- Verification of Concurrent Programs. Part I. The Temporal Framework,Published by Defense Technical Information Center (DTIC) ,1981
- Scenarios: A model of non-determinate computationLecture Notes in Computer Science, 1981
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980