High level programming for distributed computing
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Distributed processes: a concurrent programming concept
Communications of the ACM
Guardians and actions: linguistic support for robust, distributed programs
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Notes on Data Base Operating Systems
Operating Systems, An Advanced Course
The Object Model: A Conceptual Tool for Structuring Software
Operating Systems, An Advanced Course
Distributed Systems - Architecture and Implementation, An Advanced Course
Primitives for distributed computing
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
NESTED TRANSACTIONS: AN APPROACH TO RELIABLE DISTRIBUTED COMPUTING
NESTED TRANSACTIONS: AN APPROACH TO RELIABLE DISTRIBUTED COMPUTING
Programming Language Support for Writing Fault-Tolerant Distributed Software
IEEE Transactions on Computers - Special issue on fault-tolerant computing
A taxonomy of scheduling in general-purpose distributed computing systems
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |
This paper describes programming constructs and system support functions that are intended to facilitate the programming of reliable distributed systems. The systems considered include very different kinds of computers communicating through a network. Such a heterogeneous network offers a number of advantages to designers of applications software. Different machines emphasize different capabilities and many problems naturally break down into subproblems that are best solved with specialized resources. There is clearly a need for programming tools that will allow users to exploit this kind of environment.