High Level Programming for Distributed Computing

Programming for distributed and other loosely coupled systems
is a problem of growing interest.  This paper describes an approach
to distributed computing at the level of general purpose programming
languages.  Based on primitive notions of module, message,
and transaction key, the methodology is shown to be independent
of particular languages and machines.  It appears to be useful for
programming a wide range of tasks.  This is part of an ambitious
program of development in advanced programming languages, and relations
with other aspects of the project are also discussed.

CACM June, 1979

Feldman, J.

Distributed computing, modules, messages, assertions

4.22 4.32

CA790604 DH August 21, 1979  4:31 PM

1957	4	3148
2151	4	3148
3031	4	3148
3103	4	3148
3105	4	3148
3128	4	3148
3148	4	3148
3148	4	3148
3148	4	3148
3148	4	3148
3148	4	3148
3150	4	3148
3150	4	3148
3155	4	3148
1860	5	3148
2817	5	3148
2865	5	3148
2939	5	3148
3073	5	3148
3148	5	3148
3148	5	3148
3148	5	3148
3150	5	3148
2060	6	3148
2704	6	3148
2842	6	3148
2939	6	3148
2940	6	3148
2941	6	3148
2943	6	3148
3073	6	3148
3148	6	3148