A modular proof of correctness for a network synchronizer
- 1 January 1988
- book chapter
- Published by Springer Nature
- p. 219-256
- https://doi.org/10.1007/bfb0019807
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Nested transactions and read-write lockingPublished by Association for Computing Machinery (ACM) ,1987
- Hierarchical correctness proofs for distributed algorithmsPublished by Association for Computing Machinery (ACM) ,1987
- Reducing complexities of the distributed max‐flow and breadth‐first‐search algorithms by means of network synchronizationNetworks, 1985
- Complexity of network synchronizationJournal of the ACM, 1985
- Verification of Concurrent Programs. Part I. The Temporal Framework,Published by Defense Technical Information Center (DTIC) ,1981
- An axiomatic proof technique for parallel programs IActa Informatica, 1976