Implementation of resilient, atomic data types
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Nested transactions: an approach to reliable distributed computing
Nested transactions: an approach to reliable distributed computing
A Case Study of CES: A Distributed Collaborative Editing System Implemented in Argus
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Reliable object storage to support atomic actions
Proceedings of the tenth ACM symposium on Operating systems principles
The Recovery Manager of the System R Database Manager
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)
Implementing remote procedure calls
ACM Transactions on Computer Systems (TOCS)
End-to-end arguments in system design
ACM Transactions on Computer Systems (TOCS)
Experience with processes and monitors in Mesa
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
Notes on Data Base Operating Systems
Operating Systems, An Advanced Course
A nested transaction mechanism for LOCUS
SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles
Efficient commit protocols for the tree of processes model of distributed transactions
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
ACM SIGOPS Operating Systems Review
How to connect stable memory to a computer
ACM SIGOPS Operating Systems Review
DYNAMIC MODULE REPLACEMENT IN A DISTRIBUTED PROGRAMMING SYSTEM
DYNAMIC MODULE REPLACEMENT IN A DISTRIBUTED PROGRAMMING SYSTEM
RECOVERY USING VIRTUAL MEMORY
Distributed programming in Argus
Communications of the ACM
Formal model of correctness without serializabilty
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
OOPSLA '87 Addendum to the proceedings on Object-oriented programming systems, languages and applications (Addendum)
Viewstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed Systems
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
Atomic garbage collection: managing a stable heap
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
The Raid Distributed Database System
IEEE Transactions on Software Engineering
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
The portable common runtime approach to interoperability
SOSP '89 Proceedings of the twelfth ACM symposium on Operating systems principles
“Topologies”—distributed objects on multicomputers
ACM Transactions on Computer Systems (TOCS)
ARIES/NT: a recovery method based on write-ahead logging for nested transactions
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Local-area distributed systems
IBM Systems Journal
COOL: kernel support for object-oriented environments
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Multi-model parallel programming in psyche
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Distributed, object-based programming systems
ACM Computing Surveys (CSUR)
CML: A higher concurrent language
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
User-level interprocess communication for shared memory multiprocessors
ACM Transactions on Computer Systems (TOCS)
Practical trade-offs for open interconnection
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Lightweight shared objects in a 64-bit operating system
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
A Case Study of CES: A Distributed Collaborative Editing System Implemented in Argus
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Understanding the limitations of causally and totally ordered communication
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
Atomic incremental garbage collection and recovery for a large stable heap
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Building reliable mobile-aware applications using the Rover toolkit
MobiCom '96 Proceedings of the 2nd annual international conference on Mobile computing and networking
Building reliable mobile-aware applications using the Rover toolkit
Wireless Networks - Special issue: mobile computing and networking: selected papers from MobiCom '96
Models and languages for parallel computation
ACM Computing Surveys (CSUR)
Locality in distributed computations
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
A survey of remote procedure calls
ACM SIGOPS Operating Systems Review
Concurrency control issues in nested transactions
The VLDB Journal — The International Journal on Very Large Data Bases
Parallelism in Object-Oriented Languages: A Survey
IEEE Software
On Transaction Boundaries in Active Databases: A Performance Perspective
IEEE Transactions on Knowledge and Data Engineering
An Architecture for Survivable Coordination in Large Distributed Systems
IEEE Transactions on Knowledge and Data Engineering
Object Oriented Interoperability
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
A type and effect system for atomicity
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Atomizer: a dynamic atomicity checker for multithreaded programs
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Exploiting purity for atomicity
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
TLDI '05 Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation
Exploiting Purity for Atomicity
IEEE Transactions on Software Engineering
Science of Computer Programming - Special issue: Synchronization and concurrency in object-oriented languages
Lightweight flexible isolation for language-based extensible systems
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
moas'93 USENIX Symposium on USENIX Microkernels and Other Kernel Architectures Symposium - Volume 4
Atomizer: A dynamic atomicity checker for multithreaded programs
Science of Computer Programming
Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Types for atomicity: Static checking and inference for Java
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles
Hi-index | 0.02 |
Argus is a programming language and system developed to support the construction and execution of distributed programs. This paper describes the implementation of Argus, with particular emphasis on the way we implement atomic actions, because this is where Argus differs most from other implemented systems. The paper also discusses the performance of Argus. The cost of actions is quite reasonable, indicating that action systems like Argus are practical.