Tentative steps toward a development method for interfering programs
Author:
Open Access
- 1 October 1983
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 5 (4) , 596-619
Abstract
No abstract availableThis publication has 22 references indexed in Scilit:
- A Proof System for Communicating Sequential ProcessesACM Transactions on Programming Languages and Systems, 1980
- On-the-fly garbage collectionCommunications of the ACM, 1978
- Communicating sequential processesCommunications of the ACM, 1978
- Verifying properties of parallel programsCommunications of the ACM, 1976
- MonitorsCommunications of the ACM, 1974
- Program development by stepwise refinementCommunications of the ACM, 1971
- Proof of a programCommunications of the ACM, 1971
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Properties of Programs and the First-Order Predicate CalculusJournal of the ACM, 1969
- Proof of algorithms by general snapshotsBIT Numerical Mathematics, 1966