CLU reference manual
A Value Transmission Method for Abstract Data Types
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
Communications of the ACM
The notions of consistency and predicate locks in a database system
Communications of the ACM
Notes on Data Base Operating Systems
Operating Systems, An Advanced Course
Recovery semantics for a DB/DC system
ACM '73 Proceedings of the ACM annual conference
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
NAMING AND SYNCHRONIZATION IN A DECENTRALIZED COMPUTER SYSTEM
NAMING AND SYNCHRONIZATION IN A DECENTRALIZED COMPUTER SYSTEM
NESTED TRANSACTIONS: AN APPROACH TO RELIABLE DISTRIBUTED COMPUTING
NESTED TRANSACTIONS: AN APPROACH TO RELIABLE DISTRIBUTED COMPUTING
Preliminary Ada reference manual
ACM SIGPLAN Notices - Preliminary Ada reference manual
Synchronizing shared abstract types
ACM Transactions on Computer Systems (TOCS)
Optimistic recovery in distributed systems
ACM Transactions on Computer Systems (TOCS)
A Butler process for resource sharing on Spice machines
ACM Transactions on Information Systems (TOIS)
Object structure in the Emerald system
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
An information system based on distributed objects
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Concurrent search structure algorithms
ACM Transactions on Database Systems (TODS)
Concurrent object access in BLAZE 2
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
A process-oriented extensible hypertext architecture
ACM SIGCHI Bulletin
Distributed systems and self-organization
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Relaxing the limitations of serializable transactions in distributed systems
ACM SIGOPS Operating Systems Review
Coupling the user interfaces of a multiuser program
ACM Transactions on Computer-Human Interaction (TOCHI)
Recovery protocols for shared memory database systems
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
NIL: a high-level language for distributed systems programming
IBM Systems Journal
Matchmaker: an interface specification language for distributed processing
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Transaction restarts in Prolog database systems
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
Genesis: a distributed database operating system
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
Concurrent distributed Pascal: a hands-on introduction to parallelism
SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
Multilevel atomicity—a new correctness criterion for database concurrency control
ACM Transactions on Database Systems (TODS)
An adaptable and distributed load adjustment algorithm
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Transactions and synchronization in a distributed operating system
Proceedings of the tenth ACM symposium on Operating systems principles
Distributed transactions for reliable systems
Proceedings of the tenth ACM symposium on Operating systems principles
Supporting distributed applications: experience with Eden
Proceedings of the tenth ACM symposium on Operating systems principles
The Gutenberg operating system kernel
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Replication in distributed systems: the Eden experience
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
A Value Transmission Method for Abstract Data Types
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)
Computation and communication in R*: a distributed database manager
ACM Transactions on Computer Systems (TOCS)
Relaxing the limitations of serializable transactions in distributed systems
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
On the unification of data and program abstraction in Ada
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Concurrency control for resilient nested transactions
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Garbage Collection in a Distributed Object-Oriented System
IEEE Transactions on Knowledge and Data Engineering
A Language Framework for Multi-Object Coordination
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Resource controller tasks in ADA: Their structure and semantics
ICSE '84 Proceedings of the 7th international conference on Software engineering
Resource management in a decentralized system
SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles
A nested transaction mechanism for LOCUS
SOSP '83 Proceedings of the ninth 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
Language concepts for distributed processing of large arrays
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Distributed allocation with pools of servers
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Synchronization and recovery of actions
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
An algorithm, for replicated directories
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Distributed task and memory management
PODC '83 Proceedings of the second annual ACM 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
NIL: An integrated language and system for distributed programming
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Zeus: An object-oriented distributed operating system for reliable applications
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Distributed programming languages
ACM '82 Proceedings of the ACM '82 conference
Towards Safe Distributed Application Development
Proceedings of the 26th International Conference on Software Engineering
Reflections on capital-intensive software technology
ACM SIGSOFT Software Engineering Notes
Transaction support for indexed summary views
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
Transactions: a construct for reliable distributed computing
ACM SIGOPS Operating Systems Review
Data-dependent concurrency control and recovery
ACM SIGOPS Operating Systems Review
Synchronization and recovery of actions
ACM SIGOPS Operating Systems Review
A portable modula-2 operating system: SAM2S
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
NIL: a high-level language for distributed systems programming
IBM Systems Journal
A new programming methodology for long-lived software systems
IBM Journal of Research and Development
Dissecting distributed computations
Future directions in distributed computing
Democratizing transactional programming
Middleware'11 Proceedings of the 12th ACM/IFIP/USENIX international conference on Middleware
Democratizing transactional programming
Proceedings of the 12th International Middleware Conference
Democratizing transactional programming
Communications of the ACM
| Hi-index | 0.02 |
This paper presents an overview of an integrated programming language and system designed to support the construction and maintenance of distributed programs: programs in which modules reside and execute at communicating, but geographically distinct, nodes. The language is intended to support a class of applications in which the manipulation and preservation of long-lived, on-line, distributed data is important. The language addresses the writing of robust programs that survive hardware failures without loss of distributed information and that provide highly concurrent access to that information while preserving its consistency. Several new linguistic constructs are provided; among them are atomic actions, and modules called guardians that survive node failures.