Principles of transaction-oriented database recovery
ACM Computing Surveys (CSUR)
Distributed programming in Argus
Communications of the ACM
Linearizability: a correctness condition for concurrent objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACTA: a framework for specifying and reasoning about transaction structure and behavior
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Concurrency control in advanced database applications
ACM Computing Surveys (CSUR)
A response to Cheriton and Skeen's criticism of causal and totally ordered communication
ACM SIGOPS Operating Systems Review
Understanding the limitations of causally and totally ordered communication
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
To CATOCS or not to CATOCS, that is the …
ACM SIGOPS Operating Systems Review
From group communication to transactions in distributed systems
Communications of the ACM
Implementing Atomic Actions in Ada 95
IEEE Transactions on Software Engineering
Reliable Distributed Computing with the ISIS Toolkit
Reliable Distributed Computing with the ISIS Toolkit
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
An Overview of the Arjuna Distributed Programming System
IEEE Software
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Ada 95: An Effective Concurrent Programming Language
Ada-Europe '96 Proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies
Drago: An Ada Extension to Program Fault-Tolerant Distributed Applications
Ada-Europe '96 Proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies
An Ada Library to Program Fault-Tolerant Distributed Applications
Ada-Europe '97 Proceedings of the 1997 Ada-Europe International Conference on Reliable Software Technologies
On Programming Atomic Actions in Ada 95
Ada-Europe '97 Proceedings of the 1997 Ada-Europe International Conference on Reliable Software Technologies
A Distributed Consensus Protocol with a Coordinator
Proceedings of the IFIP WG10.3 International Conference on Decentralized and Distributed Systems
Transaction Groups: A Model for Controlling Cooperative Transactions
Proceedings of the Third International Workshop on Persistent Object Systems
NESTED TRANSACTIONS: AN APPROACH TO RELIABLE DISTRIBUTED COMPUTING
NESTED TRANSACTIONS: AN APPROACH TO RELIABLE DISTRIBUTED COMPUTING
Multithreaded Rendezvous: a design pattern for distributed rendezvous
Proceedings of the 1999 ACM symposium on Applied computing
Exception handling and resolution for transactional object groups
Advances in exception handling techniques
Efficient and Extensible Multithreaded Remote Servers
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
Exception Handling and Resolution for Transactional Object Groups
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
Unification of Transactions and Replication in Three-Tier Architectures Based on CORBA
IEEE Transactions on Dependable and Secure Computing
| Hi-index | 0.00 |