Proving Properties of Complex Data Structures
Journal of the ACM (JACM)
New Programming Languages for Artificial Intelligence Research
ACM Computing Surveys (CSUR)
Communicating sequential processes
Communications of the ACM
Communications of the ACM
Verifying properties of parallel programs: an axiomatic approach
Communications of the ACM
The notions of consistency and predicate locks in a database system
Communications of the ACM
An ALGOL-based associative language
Communications of the ACM
Data types as values: polymorphism, type-checking, encapsulation
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Syntactic control of interference
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Data flow analysis of communicating processes
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Economical solutions for the critical section problem in a distributed system (Extended Abstract)
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Programming Distributed Systems
ACM '78 Proceedings of the 1978 annual conference
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Techniques for the automatic selection of data structures
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
Copilot: a multiple-process approach to interactive programming systems.
Copilot: a multiple-process approach to interactive programming systems.
Program structures for exceptional condition handling.
Program structures for exceptional condition handling.
Report on the programming language Euclid
ACM SIGPLAN Notices
ACM SIGGRAPH Computer Graphics
Simula Begin
An architecture for object management in OIS
ACM Transactions on Information Systems (TOIS)
Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Describing and analyzing distributed software system designs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Gaining efficiency in transport services by appropriate design and implementation choices
ACM Transactions on Computer Systems (TOCS)
Mach and Matchmaker: kernel and language support for object-oriented distributed systems
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
A system for parallel programming
ICSE '87 Proceedings of the 9th international conference on Software Engineering
A Generalized Message-Passing Mechanism for Communicating Sequential Processes
IEEE Transactions on Computers
Promises: linguistic support for efficient asynchronous procedure calls in distributed systems
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Using tuple space communication in distributed object-oriented languages
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Distributed Computing with Single Read-Single Write Variables
IEEE Transactions on Software Engineering
Molecule: A Language Construct for Layered Development of Parallel Programs
IEEE Transactions on Software Engineering
Indirect naming in distributed programming languages
ACM SIGPLAN Notices
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
Polling in concurrent programming
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
FUTURES: a mechanism for concurrency among objects
Proceedings of the 1989 ACM/IEEE conference on Supercomputing
ACM SIGPLAN Notices
Compositional verification of concurrent systems using Petri-net-based condensation rules
ACM Transactions on Programming Languages and Systems (TOPLAS)
Matchmaker: an interface specification language for distributed processing
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Theseus—a programming language for relational databeses
ACM Transactions on Database Systems (TODS)
Locality in distributed computations
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Manifolds: a very high-level conceptual framework of interprocess synchronization and communication
CSC '87 Proceedings of the 15th annual conference on Computer Science
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
Process Communication Based on Input Specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Guardians and Actions: Linguistic Support for Robust, Distributed Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
The computational metaphor and quantum physics
Communications of the ACM
Parallel programs: proofs, principles, and practice
Communications of the ACM
Communications of the ACM
Static checking of interprocess communication in ECSP
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Guardians and actions: linguistic support for robust, distributed programs
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Concurrent, Distributed Architecture for Diagnostic Reasoning
User Modeling and User-Adapted Interaction
Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems
IEEE Transactions on Knowledge and Data Engineering
An experiment in microprocessor-based distributed digital simulation
WSC '83 Proceedings of the 15th conference on Winter simulation - Volume 1
On the semantic structure of information - A proposal of the abstract storage architecture
ISCA '82 Proceedings of the 9th annual symposium on Computer Architecture
An adaptable network for functional distributed systems
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
ICSE '81 Proceedings of the 5th international conference on Software engineering
TASK forces: Distributed software for solving problems of substantial size
ICSE '79 Proceedings of the 4th international conference on Software engineering
Performance evaluation of communicating processes
SIGMETRICS '79 Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems
On the performance of decentralized software
PERFORMANCE '80 Proceedings of the 1980 international symposium on Computer performance modelling, measurement and evaluation
The Roscoe distributed operating system
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
BRUWIN: An adaptable design strategy for window manager/virtual terminal systems
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
Language constructs and support systems for distributed computing
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Distributed communication via global buffer
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
An analysis of language models for high-performance communication in local-area networks
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Distributed programming languages
ACM '82 Proceedings of the ACM '82 conference
Performance of distributed software implemented by a contention bus
ACM '81 Proceedings of the ACM '81 conference
The Distributed Double-Loop Computer Network (DDLCN)
ACM '80 Proceedings of the ACM 1980 annual conference
DREAM - an approach to designing large scale, concurrent software systems
ACM '79 Proceedings of the 1979 annual conference
An approach to distributed software systems
ACM SIGOPS Operating Systems Review
A note on the distributed program component cell
ACM SIGPLAN Notices
Ada packages and distributed systems
ACM SIGPLAN Notices
A comparative survey of concurrent programming languages
ACM SIGPLAN Notices
A comparative survey of concurrent programming languages
ACM SIGPLAN Notices
Messages vs. remote procedures is a false dichotomy
ACM SIGPLAN Notices
An interprocess communication model for a distributed software testbed
SIGCOMM '83 Proceedings of the symposium on Communications Architectures & Protocols
Discourse understanding at the U. of Rochester
ACM SIGART Bulletin
ACM SIGSMALL Newsletter
DSIS - a database system with interrelational semantics
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Models, languages, and heuristics for distributed computing
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
A distributed control system for the CMU rover
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
Towards an integrated development environment
IBM Systems Journal
A distributed approach for multiple model diagnosis of physical systems
Information Sciences: an International Journal
Message oriented programming-A resource based methodology
Computer Languages
Implementation of language enhancements
Computer Languages
Distributed programming languages: design and implementation
Computer Communications
| Hi-index | 48.27 |
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.