A proof system for concurrent ADA programs
- 31 August 1984
- journal article
- Published by Elsevier BV in Science of Computer Programming
- Vol. 4 (2), 159-204
- https://doi.org/10.1016/0167-6423(84)90018-2
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Critical remarks on max model of concurrencyPublished by Springer Science and Business Media LLC ,2005
- A critique of the foundations of Hoare-style programming logicsPublished by Springer Science and Business Media LLC ,2005
- Using message passing for distributed programming: proof rules and disciplinesACM Transactions on Programming Languages and Systems, 1984
- A sound and complete HOARE axiomatization of the ADA-rendezvousPublished by Springer Science and Business Media LLC ,1982
- Ten Years of Hoare's Logic: A Survey—Part IACM Transactions on Programming Languages and Systems, 1981
- The emperor's old clothesCommunications of the ACM, 1981
- Assignment and Procedure Call Proof RulesACM Transactions on Programming Languages and Systems, 1980
- A Proof System for Communicating Sequential ProcessesACM Transactions on Programming Languages and Systems, 1980
- Distributed processesCommunications of the ACM, 1978
- Communicating sequential processesCommunications of the ACM, 1978