Rachid Guerraoui

Marko Vukolic

Proceedings of the Twenty-Fifth Annual ACM Symposium on Principles of Distributed Computing, 2006

Towards a theory of transactional contention managers.

[BibT_eX]

[DOI]

Maurice Herlihy

Proceedings of the Twenty-Fifth Annual ACM Symposium on Principles of Distributed Computing, 2006

Synchronizing without locks is inherently expensive.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth Annual ACM Symposium on Principles of Distributed Computing, 2006

GosSkip, an Efficient, Fault-Tolerant and Self Organizing Overlay Using Gossip-based Construction and Skip-Lists Principles.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Peer-to-Peer Computing (P2P 2006), 2006

Lucky Read/Write Access to Robust Atomic Storage.

[BibT_eX]

[DOI]

Ron R. Levy

Marko Vukolic

Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006

High Throughput Total Order Broadcast for Cluster Environments.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006

When Birds Die: Making Population Protocols Fault-Tolerant.

[BibT_eX]

[DOI]

Eric Ruppert

Proceedings of the Distributed Computing in Sensor Systems, 2006

Introduction to reliable distributed programming.

[BibT_eX]

Luís E. T. Rodrigues

Springer, ISBN: 978-3-540-28845-9, 2006

2005

Mutual exclusion in asynchronous systems with failure detectors.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2005

Reliable and total order broadcast in the crash-recovery model.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2005

The inherent price of indulgence.

[BibT_eX]

[DOI]

Distributed Comput., 2005

What Can Be Implemented Anonymously?

[BibT_eX]

[DOI]

Eric Ruppert

Proceedings of the Distributed Computing, 19th International Conference, 2005

Polymorphic Contention Management.

[BibT_eX]

[DOI]

Maurice Herlihy

Proceedings of the Distributed Computing, 19th International Conference, 2005

(Almost) All Objects Are Universal in Message Passing Systems.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 19th International Conference, 2005

Computing with Reads and Writes in the Absence of Step Contention.

[BibT_eX]

[DOI]

Hagit Attiya

Proceedings of the Distributed Computing, 19th International Conference, 2005

From a static impossibility to an adaptive lower bound: the complexity of early deciding set agreement.

[BibT_eX]

[DOI]

Eli Gafni

Proceedings of the 37th Annual ACM Symposium on Theory of Computing, 2005

Toward a theory of transactional contention managers.

[BibT_eX]

[DOI]

Maurice Herlihy

Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, 2005

Frugal Event Dissemination in a Mobile Environment.

[BibT_eX]

[DOI]

Sébastien Baehni

Chirdeep Singh Chhabra

Proceedings of the Middleware 2005, ACM/IFIP/USENIX, 6th International Middleware Conference, Grenoble, France, November 28, 2005

Fault-Tolerant Techniques for Concurrent Objects.

[BibT_eX]

[DOI]

Michel Raynal

Proceedings of the Dependable Computing, Second Latin-American Symposium, 2005

Gracefully Degrading Fair Exchange with Security Modules.

[BibT_eX]

[DOI]

Proceedings of the Dependable Computing, 2005

How Fast Can Eventual Synchrony Lead to Consensus?.

[BibT_eX]

[DOI]

Leslie Lamport

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

2004

The Information Structure of Indulgent Consensus.

[BibT_eX]

[DOI]

Michel Raynal

IEEE Trans. Computers, 2004

Distributed Programming with Typed Events.

[BibT_eX]

[DOI]

Patricia Serrano-Alvarado

IEEE Softw., 2004

Mobile Databases: a Selection of Open Issues and Research Directions.

[BibT_eX]

[DOI]

Patrick Valduriez

SIGMOD Rec., 2004

Fast non-blocking atomic commit: an inherent trade-off.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2004

The Complexity of Early Deciding Set Agreement: How can Topology help?

[BibT_eX]

[DOI]

Proceedings of the Workshops on Geometric and Topological Methods in Concurrency Theory, 2004

Epidemic Information Dissemination in Distributed Systems.

[BibT_eX]

[DOI]

Computer, 2004

How fast can a distributed atomic read be?

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, 2004

The weakest failure detectors to solve certain fundamental problems in distributed computing.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, 2004

The Peer Sampling Service: Experimental Evaluation of Unstructured Gossip-Based Implementations.

[BibT_eX]

[DOI]

Proceedings of the Middleware 2004, 2004

The Driving Philosophers.

[BibT_eX]

[DOI]

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

Towards Safe Distributed Application Development.

[BibT_eX]

[DOI]

Christian Heide Damm

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Robust Emulations of Shared Memory in a Crash-Recovery Model.

[BibT_eX]

[DOI]

Ron R. Levy

Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS 2004), 2004

D-Reliable Broadcast: A Probabilistic Measure of Broadcast Reliability.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS 2004), 2004

Linguistic Support for Distributed Programming Abstractions.

[BibT_eX]

[DOI]

Christian Heide Damm

Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS 2004), 2004

BGP-Based Clustering for Scalable and Reliable Gossip Broadcast.

[BibT_eX]

[DOI]

M. Brahami

Proceedings of the Global Computing, IST/FET International Workshop, 2004

Data-Aware Multicast.

[BibT_eX]

[DOI]

Sébastien Baehni

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2003

Guest Editorial: Special Section on Middleware Infrastructures.

[BibT_eX]

[DOI]

Willy Zwaenepoel

IEEE Trans. Parallel Distributed Syst., 2003

Lightweight probabilistic broadcast.

[BibT_eX]

[DOI]

Anne-Marie Kermarrec

ACM Trans. Comput. Syst., 2003

Editorial: Middleware.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2003

Deconstructing paxos.

[BibT_eX]

[DOI]

SIGACT News, 2003

The Database State Machine Approach.

[BibT_eX]

[DOI]

Fernando Pedone

Distributed Parallel Databases, 2003

The many faces of publish/subscribe.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2003

On Failure Detectors and Type Boosters.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 17th International Conference, 2003

Tight Bounds on Early Local Decisions in Uniform Consensus.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 17th International Conference, 2003

Distributed Programming for Dummies: A Shifting Transformation Technique.

[BibT_eX]

[DOI]

Proceedings of the 22nd Symposium on Reliable Distributed Systems (SRDS 2003), 2003

A Generic Framework for Indulgent Consensus.

[BibT_eX]

[DOI]

Michel Raynal

Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 2003

Pragmatic Type Interoperability.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 2003

An Equational Theory for Transactions.

[BibT_eX]

[DOI]

Proceedings of the FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 2003

Adaptive Gossip-Based Broadcast.

[BibT_eX]

[DOI]

Luís E. T. Rodrigues

José Pereira

Anne-Marie Kermarrec

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

Dissecting Distributed Computations.

[BibT_eX]

[DOI]

Proceedings of the Future Directions in Distributed Computing, 2003

2002

e-Transactions: End-to-End Reliability for Three-Tier Architectures.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2002

A Note on Set Agreement with Omission Failures.

[BibT_eX]

[DOI]

Proceedings of the 4th Workshop on GEometry and Topology in COncurrency and distributed systems theory, 2002

Dictatorial Transaction Processing: Atomic Commitment Without Veto Right.

[BibT_eX]

[DOI]

Maha Abdallah

Philippe Pucheral

Distributed Parallel Databases, 2002

Non-blocking atomic commit in asynchronous distributed systems with failure detectors.

[BibT_eX]

[DOI]

Distributed Comput., 2002

Asynchronous Leasing.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 2002

An Efficient Universal Construction for Message-Passing Systems.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 16th International Conference, 2002

Failure Detection Lower Bounds on Registers and Consensus.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 16th International Conference, 2002

On the consistency problem in mobile distributed computing.

[BibT_eX]

[DOI]

Corine Hari

Proceedings of the 2002 Workshop on Principles of Mobile Computing, 2002

On the Weakest Failure Detector for Non-Blocking Atomic Commit.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002

Event Systems: How to Have Your Cake and Eat It Too.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Distributed Computing Systems, 2002

OS Support for P2P Programming: a Case for TPS.

[BibT_eX]

[DOI]

Sébastien Baehni

Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 2002

The LEAF Platform: Incremental Enhancements for the J2EE.

[BibT_eX]

[DOI]

Proceedings of the 6th International Enterprise Distributed Object Computing Conference (EDOC 2002), 2002

Fast Indulgent Consensus with Zero Degradation.

[BibT_eX]

[DOI]

Proceedings of the Dependable Computing, 2002

AOP: Does It Make Sense? The Case of Concurrency and Failures.

[BibT_eX]

[DOI]

Jörg Kienzle

Proceedings of the ECOOP 2002, 2002

Probabilistic Multicast.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

A Realistic Look At Failure Detectors.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

Encapsulating Failure Detection: From Crash to Byzantine Failures.

[BibT_eX]

[DOI]

Assia Doudou

Proceedings of the Reliable Software Technologies, 2002

2001

The Generic Consensus Service.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2001

Implementing E-Transactions with Asynchronous Replication.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2001

Genuine atomic multicast in asynchronous distributed systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2001

On the hardness of failure-sensitive agreement problems.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2001

X-Ability: a theory of replication.

[BibT_eX]

[DOI]

Distributed Comput., 2001

Effective multicast programming in large scale distributed systems.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2001

Open consensus.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2001

Reducing Noise in Gossip-Based Reliable Broadcast.

[BibT_eX]

[DOI]

Anne-Marie Kermarrec

Proceedings of the 20th Symposium on Reliable Distributed Systems (SRDS 2001), 2001

On Objects and Events.

[BibT_eX]

[DOI]

Christian Heide Damm

Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2001

Content-Based Publish/Subscribe with Structural Reflection.

[BibT_eX]

[DOI]

Proceedings of the 6th USENIX Conference on Object-Oriented Technologies and Systems, January 29, 2001

2000

Experiences with object group systems.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2000

Programming with object groups in CORBA.

[BibT_eX]

[DOI]

IEEE Concurr., 2000

An open framework for reliable distributed computing.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2000

Special issue: European Conference on Object-oriented Programming 1999.

[BibT_eX]

[DOI]

Concurr. Pract. Exp., 2000

A Pragmatic Implementation of e-Transactions.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems, 2000

Abstractions for Devising Byzantine-Resilient State Machine Replication.

[BibT_eX]

[DOI]

Assia Doudou

Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems, 2000

Reliable Broadcast in the Crash-Recovery Model.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems, 2000

Indulgent algorithms (preliminary version).

[BibT_eX]

[DOI]

Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, 2000

Distributed Asynchronous Collections: Abstractions for Publish/Subscribe Interaction.

[BibT_eX]

[DOI]

Joe Sventek

Proceedings of the ECOOP 2000, 2000

Synchronous System and Perfect Failure Detector: Solvability and Efficiency Issue.

[BibT_eX]

[DOI]

Bernadette Charron-Bost

Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

1999

Object-oriented Abstractions for Distributed Programming.

[BibT_eX]

[DOI]

Mohamed Fayad

Commun. ACM, 1999

OO Distributed Programming is Not Distributed OO Programming.

[BibT_eX]

[DOI]

Mohamed Fayad

Commun. ACM, 1999

Putting OO Distributed Programming to Work.

[BibT_eX]

[DOI]

Mohamed Fayad

Commun. ACM, 1999

Workshop on Reliable Middleware - Foreword.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth Symposium on Reliable Distributed Systems, 1999

CORBA Fault-Tolerance: Why It Does Not Add Up.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '99), 1999

Muteness Failure Detectors: Specification and Implementation.

[BibT_eX]

[DOI]

Proceedings of the Dependable Computing, 1999

Failure Detectors as First Class Objects.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Distributed Objects and Applications, 1999

A Classification of Various Approaches for Object-Based Parallel and Distributed Prgramming.

[BibT_eX]

[DOI]

Jean-Pierre Briot

Proceedings of the Collaboration between Human and Artificial Societies, 1999

Consensus in Asynchronous Distributed Systems: A Concise Guided Tour.

[BibT_eX]

[DOI]

Proceedings of the Advances in Distributed Systems, 1999

Replication of CORBA Objects.

[BibT_eX]

[DOI]

Proceedings of the Advances in Distributed Systems, 1999

1998

Editorial - High Availability in CORBA.

[BibT_eX]

Gul Agha

Theory Pract. Object Syst., 1998

The Implementation of a CORBA Object Group Service.

[BibT_eX]

Theory Pract. Object Syst., 1998

Concurrency and Distribution in Object-Oriented Programming.

[BibT_eX]

[DOI]

Jean-Pierre Briot

Klaus-Peter Löhr

ACM Comput. Surv., 1998

System Support for Object Groups.

[BibT_eX]

[DOI]

Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1998

One-Phase Commit: Does it make Sense?

[BibT_eX]

[DOI]

Maha Abdallah

Philippe Pucheral

Proceedings of the International Conference on Parallel and Distributed Systems, 1998

Flexible Protocol Composition in Bast.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

Scalable Atomic Multicast.

[BibT_eX]

[DOI]

Luís E. T. Rodrigues

Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1998), 1998

Exploiting Atomic Broadcast in Replicated Databases.

[BibT_eX]

[DOI]

Fernando Pedone

Proceedings of the Euro-Par '98 Parallel Processing, 1998

Evaluating CORBA portability: the case of an object group service.

[BibT_eX]

[DOI]

Proceedings of the Second International Enterprise Distributed Object Computing Workshop, 1998

1997

Garf: a tool for programming reliable distributed applications.

[BibT_eX]

[DOI]

IEEE Concurrency, 1997

Guest Editors' introduction.

[BibT_eX]

[DOI]

Steve Vinoski

Distributed Syst. Eng., 1997

Software-Based Replication for Fault Tolerance.

[BibT_eX]

[DOI]

Computer, 1997

Genuine Atomic Multicast.

[BibT_eX]

[DOI]

Proceedings of the Distributed Algorithms, 11th International Workshop, 1997

Transaction Reordering in Replicated Databases.

[BibT_eX]

[DOI]

Fernando Pedone

Proceedings of the Sixteenth Symposium on Reliable Distributed Systems, 1997

Dependable distributed object systems.

[BibT_eX]

[DOI]

Jean-Charles Fabre

Gul Agha

Proceedings of the Addendum to the 1997 ACM SIGPLAN Conference on Object-Oriented Programming, 1997

Total Order Multicast to Multiple Groups.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Distributed Computing Systems, 1997

Consensus: The Big Misunderstanding.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 1997

Replicating objects using the CORBA Event Service?

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 1997

Using the Strategy Design Pattern to Compose Reliable Distributed Protocols.

[BibT_eX]

[DOI]

Proceedings of the Third USENIX Conference on Object-Oriented Technologies (COOTS), 1997

Reliability with CORBA Event Channels.

[BibT_eX]

Proceedings of the Third USENIX Conference on Object-Oriented Technologies (COOTS), 1997

1996

Distributed Programming Abstractions.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

Strategic Directions in Object-Oriented Programming.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

"Gamma-Accurate" Failure Detectors.

[BibT_eX]

[DOI]

Proceedings of the Distributed Algorithms, 10th International Workshop, 1996

The Design of a CORBA Group Communication Service.

[BibT_eX]

[DOI]

Proceedings of the 15th Symposium on Reliable Distributed Systems, 1996

Reducing the Cost for Non-Blocking in Atomic Commitment.

[BibT_eX]

[DOI]

Mikel Larrea

Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

Consensus Service: A Modular Approach for Building Agreement Protocols in Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Digest of Papers: FTCS-26, 1996

Atomic Updates of Replicated Data.

[BibT_eX]

[DOI]

Rui Oliveira

Proceedings of the Dependable Computing, 1996

Protocol Classes for Designing Reliable Distributed Environments.

[BibT_eX]

[DOI]

Proceedings of the ECOOP'96, 1996

Fault-Tolerance by Replication in Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 1996

1995

Modular Atomic Objects.

[BibT_eX]

Theory Pract. Object Syst., 1995

Nested Transactions: Reviewing the Coherence Contract.

[BibT_eX]

[DOI]

Inf. Sci., 1995

Implementation of the GARF replicated objects platform.

[BibT_eX]

[DOI]

Distributed Syst. Eng., 1995

Revistiting the Relationship Between Non-Blocking Atomic Commitment and Consensus.

[BibT_eX]

[DOI]

Proceedings of the Distributed Algorithms, 9th International Workshop, 1995

Non-Blocking Atomic Commitment with an Unreliable Failure Detector.

[BibT_eX]

[DOI]

Mikel Larrea

Proceedings of the 14th Symposium on Reliable Distributed Systems, 1995

The Decentralized Non-Blocking Atomic Commitment Protocol.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE Symposium on Parallel and Distributed Processing, 1995

Lessons from Designing and Implementing GARF.

[BibT_eX]

[DOI]

Proceedings of the Object-Based Parallel and Distributed Computation, 1995

A Generic Multicast Primitive to Support Transactions on Replicated Objects in Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), 1995

1994

The GARF Library of DSM Consistency Models.

[BibT_eX]

[DOI]

Proceedings of the 6th ACM SIGOPS European Workshop: Matching Operating Systems to Application Needs, 1994

Atomic Object Composition.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Programming, Proceedings of the 8th European Conference, 1994

Transaction Model vs. Virtual Synchrony Model: Bridging the Gap.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice in Distributed Systems, International Workshop, 1994

1993

Distributed Programming in GARF.

[BibT_eX]

[DOI]

Proceedings of the Object-Based Distributed Programming, 1993

1992

Oriented distributed programming: studies and proposals; Programmation repartie par objets : etudes et propositions.

[BibT_eX]

PhD thesis, 1992

Dealing with atomicity in object-based distributed systems.

[BibT_eX]

[DOI]