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
Abstraction and specification in program development
Abstraction and specification in program development
SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
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
Guardians and Actions: Linguistic Support for Robust, Distributed Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
ARGUS REFERENCE MANUAL
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
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
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
A process-oriented extensible hypertext architecture
ACM SIGCHI Bulletin
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
The Amber system: parallel programming on a network of multiprocessors
SOSP '89 Proceedings of the twelfth ACM symposium on Operating systems principles
Lazy replication: exploiting the semantics of distributed services
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Local-area distributed systems
IBM Systems Journal
Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency
IEEE Transactions on Software Engineering
Distributed, object-based programming systems
ACM Computing Surveys (CSUR)
User-level interprocess communication for shared memory multiprocessors
ACM Transactions on Computer Systems (TOCS)
PROXHY: a process-oriented extensible hypertext architecture
ACM Transactions on Information Systems (TOIS)
COCS '91 Proceedings of the conference on Organizational computing systems
An object-based programming model for shared data
ACM Transactions on Programming Languages and Systems (TOPLAS)
Orca: A Language for Parallel Programming of Distributed Systems
IEEE Transactions on Software Engineering
A fault-tolerant commit protocol for replicated databases
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Providing high availability using lazy replication
ACM Transactions on Computer Systems (TOCS)
Specifying non-blocking shared memories (extended abstract)
SPAA '92 Proceedings of the fourth annual ACM symposium on Parallel algorithms and architectures
Distributed shared memory with versioned objects
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
A survey of asynchronous remote procedure calls
ACM SIGOPS Operating Systems Review
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Subcontract: a flexible base for distributed programming
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
Efficient availability mechanisms in distributed database systems
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Precision locking for nested transaction systems
CIKM '93 Proceedings of the second international conference on Information and knowledge management
ACM Transactions on Programming Languages and Systems (TOPLAS)
Performance evaluation of hybrid hardware and software distributed shared memory protocols
ICS '94 Proceedings of the 8th international conference on Supercomputing
Object orientation in multidatabase systems
ACM Computing Surveys (CSUR)
A distributed virtual machine to support software process
ACM SIGSOFT Software Engineering Notes
A flexible operation execution model for shared distributed objects
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Class Library Support for Workflow Environments and Applications
IEEE Transactions on Computers
Distributed software engineering
ICSE '94 Proceedings of the 16th international conference on Software engineering
A serialization graph construction for nested transactions
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Zones, contracts and absorbing changes: an approach to software evolution
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A distributed object-oriented framework for dependable multiparty interactions
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Language concepts using dynamic and distributed objects
CSC '91 Proceedings of the 19th annual conference on Computer Science
Synchronizing group transaction with rendezvous in a distributed Ada environment
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
A Distributed Object-Oriented Language for Heterogeneous Computer Networks
The Journal of Supercomputing
A survey of remote procedure calls
ACM SIGOPS Operating Systems Review
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Towards safe and efficient customization in distributed systems
EW 6 Proceedings of the 6th workshop on ACM SIGOPS European workshop: Matching operating systems to application needs
Wanted: an application aware checkpointing service
EW 6 Proceedings of the 6th workshop on ACM SIGOPS European workshop: Matching operating systems to application needs
Operating system level support for coherence in distributed systems
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
RPC-level support for object-oriented distributed programming
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
Type-based hot swapping of running modules (extended abstract)
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System
IEEE Transactions on Software Engineering
Implementing transactions using Ada exceptions: which features are missing?
ACM SIGAda Ada Letters - Exception handling for a 21st century programming language proceedings
ACM Transactions on Computer Systems (TOCS)
Towards a Reference Model for Surveying Mobile Agent Systems
Autonomous Agents and Multi-Agent Systems
Concurrency control issues in nested transactions
The VLDB Journal — The International Journal on Very Large Data Bases
Orthogonally persistent object systems
The VLDB Journal — The International Journal on Very Large Data Bases - Persistent object systems
Atomic Delegation: Object-Oriented Transactions
IEEE Software
IEEE Transactions on Knowledge and Data Engineering
Action-oriented exception handling in cooperative and competitive concurrent object-oriented systems
Advances in exception handling techniques
Exception handling and resolution for transactional object groups
Advances in exception handling techniques
PANDA - Supporting Distributed Programming in C++
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Runtime Support for Type-Safe Dynamic Java Classes
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
AOP: Does It Make Sense? The Case of Concurrency and Failures
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Open Nested Transaction: A Support for Increasing Performance and Multi-tier Applications
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
Nested Transactions with Integrity Constraints
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
Concurrency Control in Transactional Drago
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
Exception Handling and Resolution for Transactional Object Groups
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
A Procedure-Based Dynamic Software Update
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
InterWeave: A Middleware System for Distributed Shared State
LCR '00 Selected Papers from the 5th International Workshop on Languages, Compilers, and Run-Time Systems for Scalable Computers
Semantic requirements for sharing behaviours in federated object-oriented database systems
ISTA '01 Proceedings of the 2001 international conference on Information systems technology and its applications - Volume P-2
Object-oriented support for specification of distributed protocols
IWOOOS '96 Proceedings of the 5th International Workshop on Object Orientation in Operating Systems (IWOOOS '96)
A Framework for Heterogeneous Concurrency Control Policies in Distributed Applications
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
UML for real-time: which native concepts to use?
UML for real
Modular reasoning about open systems: a case study of distributed commit
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
A real-time synchronization mechanism for collaborative model management
Decision Support Systems
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Abstractions for fault-tolerant global computing
Theoretical Computer Science - Special issue: Foundations of wide area network computing
History of programming languages---II
Composable memory transactions
Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming
Optimizing memory transactions
Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Ambient references: addressing objects in mobile networks
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Type-based publish/subscribe: Concepts and experiences
ACM Transactions on Programming Languages and Systems (TOPLAS)
The impact of research on middleware technology
ACM SIGSOFT Software Engineering Notes
The impact of research on middleware technology
ACM SIGOPS Operating Systems Review
Science of Computer Programming - Special issue: Synchronization and concurrency in object-oriented languages
The development of the Emerald programming language
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Flashback: a lightweight extension for rollback and deterministic replay for software debugging
ATEC '04 Proceedings of the annual conference on USENIX Annual Technical Conference
Reliable and efficient programming abstractions for wireless sensor networks
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
FUSE: lightweight guaranteed distributed failure notification
OSDI'04 Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation - Volume 6
Concert/C: a language for distributed programming
WTEC'94 Proceedings of the USENIX Winter 1994 Technical Conference on USENIX Winter 1994 Technical Conference
Integrating coherency and recoverability in distributed systems
OSDI '94 Proceedings of the 1st USENIX conference on Operating Systems Design and Implementation
Techniques for the design of java operating systems
ATEC '00 Proceedings of the annual conference on USENIX Annual Technical Conference
Mixed-Mode Adaptation in Distributed Systems: A Case Study
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
Sinfonia: a new paradigm for building scalable distributed systems
Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles
Stasis: flexible transactional storage
OSDI '06 Proceedings of the 7th symposium on Operating systems design and implementation
A survey of linguistic structures for application-level fault tolerance
ACM Computing Surveys (CSUR)
Transactions are back---but are they the same?
ACM SIGACT News
Introducing technology into the Linux kernel: a case study
ACM SIGOPS Operating Systems Review - Research and developments in the Linux kernel
Programming with Live Distributed Objects
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Sinfonia: A new paradigm for building scalable distributed systems
ACM Transactions on Computer Systems (TOCS)
A Context-Driven Framework for Distributed Collaboration
DS-RT '09 Proceedings of the 2009 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications
Implicit and explicit transactions in a distributed transactional memory system
PDCN '08 Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks
Coqa: concurrent objects with quantized atomicity
CC'08/ETAPS'08 Proceedings of the Joint European Conferences on Theory and Practice of Software 17th international conference on Compiler construction
At-most-once semantics in asynchronous shared memory
DISC'09 Proceedings of the 23rd international conference on Distributed computing
Parallel programming framework for large batch transaction processing on scale-out systems
Proceedings of the 3rd Annual Haifa Experimental Systems Conference
A transactional model for automatic exception handling
Computer Languages, Systems and Structures
On reliable distributed IPC/RPC design for interactive mobile applications
Proceedings of the International Conference on Management of Emergent Digital EcoSystems
Communicating memory transactions
Proceedings of the 16th ACM symposium on Principles and practice of parallel programming
NV-Heaps: making persistent objects fast and safe with next-generation, non-volatile memories
Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems
Atomic boxes: coordinated exception handling with transactional memory
Proceedings of the 25th European conference on Object-oriented programming
Distributed exception handling: ideas, lessons and issues with recent exception handling systems
RISE'04 Proceedings of the First international conference on Rapid Integration of Software Engineering Techniques
Polymorphic contention management
DISC'05 Proceedings of the 19th international conference on Distributed Computing
Distributed transactional memory for metric-space networks
DISC'05 Proceedings of the 19th international conference on Distributed Computing
Solving the at-most-once problem with nearly optimal effectiveness
ICDCN'12 Proceedings of the 13th international conference on Distributed Computing and Networking
Research: Designing a system infrastructure for distributed programs
Computer Communications
Research: Supporting fault-tolerant and open distributed processing using RPC
Computer Communications
Transactional correctness for secure nested transactions
TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
The software architecture for designing interactive mobile computing applications
International Journal of Ad Hoc and Ubiquitous Computing
Fault tolerance via idempotence
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An evaluation of reactive programming and promises for structuring collaborative web applications
Proceedings of the 7th Workshop on Dynamic Languages and Applications
The impact of research on the development of middleware technology
ACM Transactions on Software Engineering and Methodology (TOSEM)
| Hi-index | 48.22 |
Argus—a programming language and system developed to support the implementation and execution of distributed programs—provides mechanisms that help programmers cope with the special problems that arise in distributed programs, such as network partitions and crashes of remote nodes.