Principles for distributing programs
- 23 November 2005
- book chapter
- Published by Springer Nature
- p. 337-347
- https://doi.org/10.1007/bfb0022478
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Proving the Correctness of Multiprocess ProgramsIEEE Transactions on Software Engineering, 1977
- Formal verification of parallel programsCommunications of the ACM, 1976
- An axiomatic proof technique for parallel programs IActa Informatica, 1976
- Synchronization of communicating processesCommunications of the ACM, 1972
- Third Generation Computer SystemsACM Computing Surveys, 1971