Models, languages, and heuristics for distributed computing

We are interested in the issues surrounding computer problem solving in systems of loosely coupled processes. This paper is a compendium of ideas related to the software issues involved in programming distributed systems. We discuss two aspects of this problem: languages and models for distribution, and heuristics for organizing distributed systems. The second section of the paper discusses the nature of distributed languages and models, and presents a comparison of the attributes of several of the major proposals for distributed computing. The third section is a discussion of some heuristics for the organization of multiple-process systems.

[1]  Victor R. Lesser,et al.  The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty , 1980, CSUR.

[2]  Daniel P. Friedman,et al.  Coordinated computing: tools and techniques for distributed software , 1984 .

[3]  Robin Milner,et al.  Concurrent Processes and Their Syntax , 1979, JACM.

[4]  Wil Plouffe,et al.  An asynchronous programming language and computing machine , 1978 .

[5]  Gregory R. Andrews,et al.  Synchronizing Resources , 1981, TOPL.

[6]  Per Brinch Hansen,et al.  Distributed processes: a concurrent programming concept , 1978, CACM.

[7]  Allen Newell,et al.  Production Systems: Models of Control Structures , 1973 .

[8]  Jack B. Dennis,et al.  First version of a data flow procedure language , 1974, Symposium on Programming.

[9]  Donald W Loveland,et al.  Automated theorem proving: a logical basis , 1978, Fundamental studies in computer science.

[10]  Ram Rao.  Design and Evaluation of Distributed Communication Primitives , 1980, ACM Pacific.

[11]  Reid G. Smith,et al.  The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver , 1980, IEEE Transactions on Computers.

[12]  Nancy A. Lynch,et al.  On Describing the Behavior and Implementation of Distributed Systems , 1979, Semantics of Concurrent Computation.

[13]  Daniel P. Friedman,et al.  An Approach to Fair Applicative Multiprogramming , 1979, Semantics of Concurrent Computation.

[14]  Jerome A. Feldman,et al.  High level programming for distributed computing , 1979, CACM.

[15]  Henry Lieberman,et al.  Security and Modularity in Message Passing , 1979 .

[16]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[17]  Douglas B. Lenat,et al.  Automated Theory Formation in Mathematics , 1977, IJCAI.