Towards formal specification of a distributed computing system
- 1 October 1985
- journal article
- Published by Springer Nature in International Journal of Parallel Programming
- Vol. 14 (5), 277-306
- https://doi.org/10.1007/bf00987039
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Load Balancing in Distributed SystemsIEEE Transactions on Software Engineering, 1982
- On optimistic methods for concurrency controlACM Transactions on Database Systems, 1981
- A Survey of Techniques for Synchronization and Recovery in Decentralized Computer SystemsACM Computing Surveys, 1981
- Task Allocation in Distributed Data ProcessingComputer, 1980