On describing the behavior and implementation of distributed systems
- 1 January 1981
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 13 (1) , 17-43
- https://doi.org/10.1016/0304-3975(81)90109-2
Abstract
No abstract availableKeywords
Funding Information
- National Science Foundation (MCS77-15628, W1689)
- U.S. Army (OAAG29-79-G 0155)
This publication has 6 references indexed in Scilit:
- Fast allocation of nearby resources in a distributed systemPublished by Association for Computing Machinery (ACM) ,1980
- Resource allocation with immunity to limited process failurePublished by Institute of Electrical and Electronics Engineers (IEEE) ,1979
- Concurrent Processes and Their SyntaxJournal of the ACM, 1979
- Specification and Proof Techniques for SerializersIEEE Transactions on Software Engineering, 1979
- Computable nondeterministic functionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1978
- Software Descriptions with Flow ExpressionsIEEE Transactions on Software Engineering, 1978