Michel Raynal

Proceedings of the 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 2006

On the fly estimation of the processes that are alive/crashed in an asynchronous message-passing system.

[BibT_eX]

[DOI]

Gilles Trédan

Proceedings of the 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 2006

Irreducibility and additivity of set agreement-oriented failure detector classes.

[BibT_eX]

[DOI]

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

A Hierarchical Consensus Protocol for Mobile Ad Hoc Networks.

[BibT_eX]

[DOI]

Proceedings of the 14th Euromicro International Conference on Parallel, 2006

Core Persistence in Peer-to-Peer Systems: Relating Size to Lifetime.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006

In Search of the Holy Grail: Looking for the Weakest Failure Detector for Wait-Free Set Agreement.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems, 10th International Conference, 2006

The Committee Decision Problem.

[BibT_eX]

[DOI]

Proceedings of the LATIN 2006: Theoretical Informatics, 2006

The Power and Limit of Adding Synchronization Messages for Synchronous Agreement.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Conference on Parallel Processing (ICPP 2006), 2006

From static distributed systems to dynamic systems: an approach for a first step.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Distributed Computing Systems Workshops (ICDCS 2006 Workshops), 2006

Simultaneous Consensus Tasks: A Tighter Characterization of Set-Consensus.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Networking, 8th International Conference, 2006

From Failure Detectors with Limited Scope Accuracy to System-wide Leadership.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006

2005

Simple and Efficient Oracle-Based Consensus Protocols for Asynchronous Byzantine Systems.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2005

$\diamondsuit {\mathcal P}_{mute}$-based Consensus for Asynchronous Byzantine Systems.

[BibT_eX]

[DOI]

Parallel Process. Lett., 2005

Asynchronous bounded lifetime failure detectors.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2005

Stabilizing mobile philosophers.

[BibT_eX]

[DOI]

Ajoy Kumar Datta

Maria Gradinariu

Inf. Process. Lett., 2005

Wait-free computing: an introductory lecture.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2005

From Static Distributed Systems to Dynamic Systems.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE Symposium on Reliable Distributed Systems (SRDS 2005), 2005

A Note on a Simple Equivalence between Round-based Synchronous and Asynchronous Models.

[BibT_eX]

[DOI]

Matthieu Roy

Proceedings of the 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 2005

Decision Optimal Early-Stopping k-set Agreement in Synchronous Systems Prone to Send Omission Failures.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 2005

Intersecting Sets: a Basic Abstraction for Asynchronous Agreement Problems.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 2005

The combined power of conditions and failure detectors to solve asynchronous set agreement.

[BibT_eX]

[DOI]

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

Brief announcement: abstractions for implementing atomic objects in dynamic systems.

[BibT_eX]

[DOI]

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

Allowing Atomic Objects to Coexist with Sequentially Consistent Objects.

[BibT_eX]

[DOI]

Matthieu Roy

Proceedings of the Parallel Computing Technologies, 2005

Early-Stopping k-Set Agreement in Synchronous Systems Prone to Any Number of Process Crashes.

[BibT_eX]

[DOI]

Proceedings of the Parallel Computing Technologies, 2005

Two Abstractions for Implementing Atomic Objects in Dynamic Systems.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems, 9th International Conference, 2005

Fault-Tolerant Techniques for Concurrent Objects.

[BibT_eX]

[DOI]

Rachid Guerraoui

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

Building Responsive TMR-Based Servers in Presence of Timing Constraints.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

Mixed Consistency Model: Meeting Data Sharing Needs of Heterogeneous Users.

[BibT_eX]

[DOI]

Zhiyuan Zhan

Proceedings of the 25th International Conference on Distributed Computing Systems (ICDCS 2005), 2005

Building and Using Quorums Despite any Number of Process of Crashes.

[BibT_eX]

[DOI]

Proceedings of the Dependable Computing, 2005

A Hybrid and Adaptive Model for Fault-Tolerant Distributed Computing.

[BibT_eX]

[DOI]

Sérgio Gorender

Raimundo A. Macêdo

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

A Simple Protocol Offering Both Atomic Consistent Read Operations and Sequentially Consistent Read Operations.

[BibT_eX]

[DOI]

Matthieu Roy

Ciprian Tutu

Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 2005

2004

The Information Structure of Indulgent Consensus.

[BibT_eX]

[DOI]

Rachid Guerraoui

IEEE Trans. Computers, 2004

A necessary and sufficient condition for transforming limited accuracy failure detectors.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2004

A weakest failure detector-based asynchronous consensus protocol for f<n.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2004

Condition-based consensus solvability: a hierarchy of conditions and efficient protocols.

[BibT_eX]

[DOI]

Distributed Comput., 2004

Quorum-Based Multi-Invocation Model for Replicated Objects.

[BibT_eX]

[DOI]

Concurr. Eng. Res. Appl., 2004

The Synchronous Condition-Based Consensus Hierarchy.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 18th International Conference, 2004

The Notion of Veto Number and the Respective Power of OP and OS to Solve One-Shot Agreement Problems.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 18th International Conference, 2004

Crash-Resilient Time-Free Eventual Leadership.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 2004

Optimal early stopping uniform consensus in synchronous systems with process omission failures.

[BibT_eX]

[DOI]

Proceedings of the SPAA 2004: Proceedings of the Sixteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2004

A Hybrid Approach for Building Eventually Accurate Failure Detectors.

[BibT_eX]

[DOI]

David Powell

Proceedings of the 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 2004

Brief announcement: the synchronous condition-based consensus hierarchy.

[BibT_eX]

[DOI]

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

Brief announcement: veto number and the respective power of eventual failure detectors.

[BibT_eX]

[DOI]

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

A Methodological Construction of an Efficient Sequential Consistency Protocol.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Symposium on Network Computing and Applications (NCA 2004), 30 August, 2004

The Notion of Veto Number for Distributed Agreement Problems.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 2004

A Distributed Implementation of Sequential Consistency with Multi-Object Operations.

[BibT_eX]

[DOI]

K. Vidyasankar

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

2003

Early Stopping in Global Data Computation.

[BibT_eX]

[DOI]

Carole Delporte-Gallet

Hugues Fauconnier

IEEE Trans. Parallel Distributed Syst., 2003

Atomic Broadcast in Asynchronous Crash-Recovery Distributed Systems and Its Use in Quorum-Based Replication.

[BibT_eX]

[DOI]

Luís E. T. Rodrigues

IEEE Trans. Knowl. Data Eng., 2003

Efficient Causality-Tracking Timestamping.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2003

Consensus in Byzantine asynchronous systems.

[BibT_eX]

[DOI]

J. Discrete Algorithms, 2003

Conditions on input vectors for consensus solvability in asynchronous distributed systems.

[BibT_eX]

[DOI]

J. ACM, 2003

Reliable Compare & Swap for Fault-Tolerant Synchronization.

[BibT_eX]

[DOI]

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

An Optimal Atomic Broadcast Protocol and an Implementation Framework.

[BibT_eX]

[DOI]

Doug Palmer

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

Using Conditions to Expedite Consensus in Synchronous Distributed Systems.

[BibT_eX]

[DOI]

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

Brief announcement: early decision despite general process omission failures.

[BibT_eX]

[DOI]

Fabrice Le Fessant

Proceedings of the Twenty-Second ACM Symposium on Principles of Distributed Computing, 2003

The Renaming Problem as an Introduction to Structures for Wait-Free Computing.

[BibT_eX]

[DOI]

Proceedings of the Parallel Computing Technologies, 2003

A Hierarchy of Conditions for Asynchronous Interactive Consistency.

[BibT_eX]

[DOI]

Proceedings of the Parallel Computing Technologies, 2003

Nested Invocation Protocol for Object-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), 2003

Uniform Agreement Despite Process Omission Failures.

[BibT_eX]

[DOI]

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Anonymous Publish/Subscribe in P2P Networks.

[BibT_eX]

[DOI]

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

A Generic Framework for Indulgent Consensus.

[BibT_eX]

[DOI]

Rachid Guerraoui

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

Elastic Vector Time.

[BibT_eX]

[DOI]

Christof Fetzer

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

Challenges of Future Distributed Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2003), 2003

Looking for a Common View for Mobile Worlds.

[BibT_eX]

[DOI]

Maria Gradinariu

Gwendal Simon

Proceedings of the 9th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2003), 2003

Asynchronous Implementation of Failure Detectors.

[BibT_eX]

[DOI]

Eric Mourgaya

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

Evaluating the Condition-Based Approach to Solve Consensus.

[BibT_eX]

[DOI]

Eric Mourgaya

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

Token-Based Sequential Consistency in Asynchronous Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Advanced Information Networking and Applications (AINA'03), 2003

Using Error-Correcting Codes to Solve Distributed Agreement Problems: A Future Direction in Distributed Computing?

[BibT_eX]

[DOI]

Proceedings of the Future Directions in Distributed Computing, 2003

Ordering vs Timeliness: Two Facets of Consistency?

[BibT_eX]

[DOI]

Proceedings of the Future Directions in Distributed Computing, 2003

2002

A Versatile Family of Consensus Protocols Based on Chandra-Toueg's Unreliable Failure Detectors.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2002

Interval Consistency of Asynchronous Distributed Computations.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2002

A Note on the Determination of the Immediate Predecessors in a Distributed Computation.

[BibT_eX]

[DOI]

Emmanuelle Anceaume

Int. J. Found. Comput. Sci., 2002

An introduction to oracles for asynchronous distributed systems.

[BibT_eX]

[DOI]

Eric Mourgaya

Future Gener. Comput. Syst., 2002

Fundamentals of Distributed Computing: A Practical Tour of Vector Clock Systems.

[BibT_eX]

[DOI]

Francisco J. Torres-Rojas

IEEE Distributed Syst. Online, 2002

Real-time based strong consistency for distributed objects.

[BibT_eX]

Comput. Syst. Sci. Eng., 2002

Token-based sequential consistency.

[BibT_eX]

Comput. Syst. Sci. Eng., 2002

Condition-Based Protocols for Set Agreement Problems.

[BibT_eX]

[DOI]

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

Distributed Agreement and Its Relation with Error-Correcting Codes.

[BibT_eX]

[DOI]

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

The Lord of the Rings: Efficient Maintenance of Views at Data Warehouses.

[BibT_eX]

[DOI]

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

Sequential consistency as lazy linearizability.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth Annual ACM Symposium on Parallel Algorithms and Architectures, 2002

Tracking immediate predecessors in distributed computations.

[BibT_eX]

[DOI]

Emmanuelle Anceaume

Proceedings of the Fourteenth Annual ACM Symposium on Parallel Algorithms and Architectures, 2002

Consensus in Synchronous Systems: A Concise Guided Tour.

[BibT_eX]

[DOI]

Proceedings of the 9th Pacific Rim International Symposium on Dependable Computing (PRDC 2002), 2002

An Introduction to the Renaming Problem.

[BibT_eX]

[DOI]

Proceedings of the 9th Pacific Rim International Symposium on Dependable Computing (PRDC 2002), 2002

Towards a formal model for view maintenance in data warehouses.

[BibT_eX]

[DOI]

Proceedings of the Twenty-First Annual ACM Symposium on Principles of Distributed Computing, 2002

Asynchronous interactive consistency and its relation with error-correcting codes.

[BibT_eX]

[DOI]

Proceedings of the Twenty-First Annual ACM Symposium on Principles of Distributed Computing, 2002

Building responseive TMR-based servers in presence of timing constraints.

[BibT_eX]

[DOI]

Proceedings of the Twenty-First Annual ACM Symposium on Principles of Distributed Computing, 2002

Early stopping in aglobal data computation.

[BibT_eX]

[DOI]

Carole Delporte-Gallet

Hugues Fauconnier

Proceedings of the Twenty-First Annual ACM Symposium on Principles of Distributed Computing, 2002

Wait-Free Objects for Real-Time Systems? (position paper).

[BibT_eX]

[DOI]

Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

Approximate Real-Time Clocks for Scheduled Events.

[BibT_eX]

[DOI]

Christof Fetzer

Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

A Versatile and Modular Consensus Protoco.

[BibT_eX]

[DOI]

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

2001

Consensus-Based Fault-Tolerant Total Order Multicast.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2001

Mastering Agreement Problems in Distributed Systems.

[BibT_eX]

[DOI]

IEEE Softw., 2001

Leader-Based Consensus.

[BibT_eX]

[DOI]

Parallel Process. Lett., 2001

Impossibility of scalar clock-based communication-induced checkpointing protocols ensuring the RDT property.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2001

Rollback-Dependency Trackability: A Minimal Characterization and Its Protocol.

[BibT_eX]

[DOI]

Inf. Comput., 2001

The logically instantaneous communication mode: a communication abstraction.

[BibT_eX]

[DOI]

Paulo Veríssimo

Future Gener. Comput. Syst., 2001

Direct dependency-based determination of consistent global checkpoints.

[BibT_eX]

Comput. Syst. Sci. Eng., 2001

Consistent Checkpointing for Transaction Systems.

[BibT_eX]

[DOI]

Francesco Quaglia

Comput. J., 2001

A Consensus Protocol Based on a Weak FailureDetector and a Sliding Round Window.

[BibT_eX]

[DOI]

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

Randomized k-set agreement.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth Annual ACM Symposium on Parallel Algorithms and Architectures, 2001

Efficient Condition-Based Consensus.

[BibT_eX]

Proceedings of the SIROCCO 8, 2001

An Adaptive Failure Detection Protocol.

[BibT_eX]

[DOI]

Christof Fetzer

Proceedings of the 8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 2001

A hierarchy of conditions for consensus solvability.

[BibT_eX]

[DOI]

Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, 2001

Quiescent Uniform Reliable Broadcast as an Introduction to Failure Detector Oracles.

[BibT_eX]

[DOI]

Francisco Vilar Brasileiro

Proceedings of the Parallel Computing Technologies, 2001

Consensus in One Communication Step.

[BibT_eX]

[DOI]

Fabíola Greve

Proceedings of the Parallel Computing Technologies, 2001

Randomized Multivalued Consensus.

[BibT_eX]

[DOI]

Proceedings of the 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2001

Primary Component Asynchronous Group Membership as an Instance of a Generic Agreement Framework.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems, 2001

A Condition for k-Set Agreement in Asynchronous Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001

Shared State Consistency for Time-Sensitive Distributed Applications.

[BibT_eX]

[DOI]

Vijaykumar Krishnaswamy

David E. Bakken

Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

Building TMR-Based Reliable Servers Despite Bounded Input Lifetimes.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2001: Parallel Processing, 2001

2000

Computing Global Functions in Asynchronous Distributed Systems with Perfect Failure Detectors.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2000

From Binary Consensus to Multivalued Consensus in asynchronous message-passing systems.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2000

Communication-Based Prevention of Useless Checkpoints in Fistributed Computations.

[BibT_eX]

[DOI]

Distributed Comput., 2000

Tracking causality in distributed systems: a suite of efficient protocols.

[BibT_eX]

Giovanna Melideo

Proceedings of the SIROCCO 7, 2000

Low cost consensus-based Atomic Broadcast.

[BibT_eX]

[DOI]

Proceedings of the 2000 Pacific Rim International Symposium on Dependable Computing (PRDC 2000), 2000

k-set agreement with limited accuracy failure detectors.

[BibT_eX]

[DOI]

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

Time and message-efficient S-based consensus (brief announcement).

[BibT_eX]

[DOI]

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

Deadline-Constrained Causal Order.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000

Consensus Based on Failure Detectors with a Perpetual Accuracy Property.

[BibT_eX]

[DOI]

Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), 2000

Consensus Based on Strong Failure Detectors: A Time and Message-Efficient Protocol.

[BibT_eX]

[DOI]

Proceedings of the Parallel and Distributed Processing, 2000

Atomic Broadcast in Asynchronous Crash-Recovery Distributed Systems.

[BibT_eX]

[DOI]

Luís E. T. Rodrigues

Proceedings of the 20th International Conference on Distributed Computing Systems, 2000

Computing Global Functions in Asynchronous Distributed Systems Prone to Process Crashes.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Distributed Computing Systems, 2000

Quorum-Based Replication in Asynchronous Crash-Recovery Distributed Systems (Research Note).

[BibT_eX]

[DOI]

Luís E. T. Rodrigues

Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

Logical Instantaneity and Causal Order: Two "First Class" Communication Modes for Parallel Computing.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

The Best of Both Worlds: A Hybrid Approach to Solve Consensus.

[BibT_eX]

[DOI]

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

From Crash Fault-Tolerance to Arbitrary-Fault Tolerance: Towards a Modular Approach.

[BibT_eX]

[DOI]

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

1999

Consistency Issues in Distributed Checkpoints.

[BibT_eX]

[DOI]

Robert H. B. Netzer

IEEE Trans. Software Eng., 1999

Communication-Induced Determination of Consistent Snapshots.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1999

Normality: A Consistency Condition for Concurrent Objects.

[BibT_eX]

[DOI]

Vijay K. Garg

Parallel Process. Lett., 1999

Restricted failure detectors: Definition and reduction protocols.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1999

Group membership failure detection: a simple protocol and its probabilistic analysis.

[BibT_eX]

[DOI]

Distributed Syst. Eng., 1999

An adaptive architecture for causally consistent distributed services.

[BibT_eX]

[DOI]

Distributed Syst. Eng., 1999

A Simple and Fast Asynchronous Consensus Protocol Based on a Weak Failure Detector.

[BibT_eX]

[DOI]

Distributed Comput., 1999

Consistent Checkpointing in Distributed Databases: Towards a Formal Approach

[BibT_eX]

[DOI]

Francesco Quaglia

CoRR, 1999

Probabilistic analysis of a group failure detection protocol.

[BibT_eX]

[DOI]

Roger Bollo

Jean-Pierre Le Narzul

Proceedings of the Fourth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999

Solving Consensus Using Chandra-Toueg's Unreliable Failure Detectors: A General Quorum-Based Approach.

[BibT_eX]

[DOI]

Francisco J. Torres-Rojas

Proceedings of the Distributed Computing, 1999

A General Framework to Solve Agreement Problems.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth Symposium on Reliable Distributed Systems, 1999

Timed Consistency for Shared Distributed Objects.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing, 1999

Rollback-Dependency Trackability: Visible Characterizations.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing, 1999

Logical Clocks for Unreliable Process Groups.

[BibT_eX]

Makoto Takizawa

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

Logically Instantaneous Communication on Top of Distributed Memory Parallel Machines.

[BibT_eX]

[DOI]

Paulo Veríssimo

Proceedings of the Parallel Computing Technologies, 1999

Consistent Lamport Clocks for Asynchronous Groups with Process Crashes.

[BibT_eX]

[DOI]

Makoto Takizawa

Proceedings of the Parallel Computing Technologies, 1999

Simple Vector Clocks are limited to Solve some Causallity Related Problems.

[BibT_eX]

Proceedings of the Procedings of the 3rd International Conference on Principles of Distributed Systems. OPODIS 99, 1999

Direct Dependency-Based Determination of Consistent GlobalCheckpoints.

[BibT_eX]

Proceedings of the Procedings of the 3rd International Conference on Principles of Distributed Systems. OPODIS 99, 1999

On Classes of Problems in Asynchronous Distributed Systems with Process Crashes.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA, May 31, 1999

Unreliable Failure Detectors with Limited Scope Accuracy and an Application to Consensus.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999

Illustrating the Use of Vector Clocks in Property Detection: An Example and a Counter-Example.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

Distributed Database Checkpointing.

[BibT_eX]

[DOI]

Francesco Quaglia

Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

Time in Distributed System Models and Algorithms.

[BibT_eX]

[DOI]

Paulo Veríssimo

Proceedings of the Advances in Distributed Systems, 1999

Consensus in Asynchronous Distributed Systems: A Concise Guided Tour.

[BibT_eX]

[DOI]

Proceedings of the Advances in Distributed Systems, 1999

1998

Efficient Distributed Detection of Conjunctions of Local Predicates.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1998

k-Arbiter: A Safe and General Scheme for h-out of-k Mutual Exclusion.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1998

Consensus-Based Management of Distributed and Replicated Data.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 1998

Consistent Records in Asynchronous Computations.

[BibT_eX]

[DOI]

Francisco J. Torres-Rojas

Acta Informatica, 1998

Lifetime Based Consistency Protocols for Distributed Objects.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 12th International Symposium, 1998

Consensus in Asynchronous Systems Where Processes Can Crash and Recover.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth Symposium on Reliable Distributed Systems, 1998

Fault-Tolerant Total Order Multicast to Asynchronous Groups.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth Symposium on Reliable Distributed Systems, 1998

Exploiting write semantics in implementing partially replicated causal objects.

[BibT_eX]

[DOI]

Proceedings of the Sixth Euromicro Workshop on Parallel and Distributed Processing, 1998

Asynchronous Protocols to Meet Real-Time Constraints: Is It Really Sensible? How to Proceed?

[BibT_eX]

[DOI]

Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

An Adaptive Protocol for Implementing Causally Consistent Distributed Services.

[BibT_eX]

[DOI]

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

1997

An Adaptive Causal Ordering Algorithm Suited to Mobile Computing Environments.

[BibT_eX]

[DOI]

Ravi Prakash

J. Parallel Distributed Comput., 1997

Shared Global States in Distributed Computations.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1997

Adaptive checkpointing in message passing distributed systems.

[BibT_eX]

[DOI]

Int. J. Syst. Sci., 1997

A suite of definitions for consistency criteria in distributed shared memories.

[BibT_eX]

[DOI]

Ann. des Télécommunications, 1997

Real-time dependable decisions in timed asynchronous distributed systems.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997

Virtual Precedence in Asynchronous Systems: Cencept and Applications.

[BibT_eX]

[DOI]

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

Preventing Useless Checkpoints in Distributed Computations.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth Symposium on Reliable Distributed Systems, 1997

Cycle Prevention in Distributed Checkpointing.

[BibT_eX]

Proceedings of the On Principles Of Distributed Systems, 1997

Static and Dynamic Adaptation of Transactional Consistency.

[BibT_eX]

[DOI]

Oliver E. Theel

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

A Case Study of Agreement Problems in Distributed Systems: Non-Blocking Atomic Commitment.

[BibT_eX]

[DOI]

Proceedings of the 2nd High-Assurance Systems Engineering Workshop (HASE '97), 1997

A Communication-Induced Checkpointing Protocol that Ensures Rollback-Dependency Trackability.

[BibT_eX]

[DOI]

Proceedings of the Digest of Papers: FTCS-27, 1997

From serializable to causal transactions for collaborative applications.

[BibT_eX]

[DOI]

Proceedings of the 23rd EUROMICRO Conference '97, 1997

Consistent State Restoration in Shared Memory Systems.

[BibT_eX]

[DOI]

Proceedings of the 1997 Advances in Parallel and Distributed Computing Conference (APDC '97), 1997

1996

Causal Delivery of Messages with Real-Time Data in Unreliable Networks.

[BibT_eX]

[DOI]

Real Time Syst., 1996

An Optimistic Protocol for a Linearizable Distributed Shared Memory System.

[BibT_eX]

[DOI]

Mitchell L. Neilsen

Parallel Process. Lett., 1996

A unified framework for the specification and run-time detection of dynamic properties in distributed computations.

[BibT_eX]

[DOI]

Özalp Babaoglu

J. Syst. Softw., 1996

Erratum: Deadlock Models and a General Algorithm for Distributed Deadlock Detection.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1996

Logical Time: Capturing Causality in Distributed Systems.

[BibT_eX]

[DOI]

Computer, 1996

From Group Communication to Transactions in Distributed Systems.

[BibT_eX]

[DOI]

Commun. ACM, 1996

Detecting Diamond Necklaces in Labeled Dags (A Problem from Distributed Debugging).

[BibT_eX]

[DOI]

Proceedings of the Graph-Theoretic Concepts in Computer Science, 1996

On-The-Fly Detection Of Conjunctions Of Local Predicates In Distributed Computations.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE Symposium on Parallel and Distributed Processing, 1996

From Serializable to Causal Transactions (Abstract).

[BibT_eX]

[DOI]

Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

Efficient Delta-Causal Broadcasting of Multimedia Applications (Abstract).

[BibT_eX]

[DOI]

Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

About State Recording in Asynchronous Computations (Abstract).

[BibT_eX]

[DOI]

Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

An Efficient Causal Ordering Algorithm for Mobile Computing Environments.

[BibT_eX]

[DOI]

Ravi Prakash

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

Broadcast with Time and Causality Constraints for Multimedia Applications.

[BibT_eX]

[DOI]

Proceedings of the 22rd EUROMICRO Conference '96, 1996

Efficient Message Logging for Uncoordinated Checkpointing Protocols.

[BibT_eX]

[DOI]

Proceedings of the Dependable Computing, 1996

1995

An Implementation of Global Flush Primitives Using Counters.

[BibT_eX]

[DOI]

Mohan Ahuja

Parallel Process. Lett., 1995

Deadlock Models and a General Algorithm for Distributed Deadlock Detection.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1995

Specification and Verification of Dynamic Properties in Distributed Computations.

[BibT_eX]

[DOI]

Özalp Babaoglu

J. Parallel Distributed Comput., 1995

On-The-Fly Analysis of Distributed Computations.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1995

An introduction to snapshot algorithms in distributed computing.

[BibT_eX]

[DOI]

Ajay D. Kshemkalyani

Distributed Syst. Eng., 1995

Expressing and detecting control flow properties of distributed computations.

[BibT_eX]

[DOI]

Vijay K. Garg

Alexander I. Tomlinson

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

Debugging Distributed Executions by Using Language Recognition.

[BibT_eX]

Özalp Babaoglu

Proceedings of the 1995 International Conference on Parallel Processing, 1995

Characterizing and Detecting The Set of Global States Seen by all Observers of a Distributed Computation.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995

Efficient Causally Ordered Communications for Multimedia Real-Time Applications.

[BibT_eX]

[DOI]

Proceedings of the 4th International Symposium on High Performance Distributed Computing (HPDC '95), 1995

Deadlocks in Distributed Systems: Request Models and Definitions.

[BibT_eX]

[DOI]

Jerzy Brzezinski

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

Characterization of Consistent Global Checkpoints in Large-Scale Distributed Systems.

[BibT_eX]

[DOI]

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

From Causal Consistency to Sequential Consistency in Shared Memory Systems.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995

Replaying Distributed Executions.

[BibT_eX]

Proceedings of the Second International Workshop on Automated Debugging, 1995

Recognition of Patterns on Control Flows for Debugging Distributed Executions.

[BibT_eX]

Proceedings of the Second International Workshop on Automated Debugging, 1995

1994

A General Scheme for Token- and Tree-Based Distributed Mutual Exclusion Algorithms.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1994

Local States in Distributed Computations: A Few Relations and Formulas.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1994

Towards the Construction of Distributed Detection Programs, with an Application to Distributed Termination.

[BibT_eX]

[DOI]

Distributed Comput., 1994

On-the-fly replay: a practical paradigm and its implementation for distributed debugging.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE Symposium on Parallel and Distributed Processing, 1994

Inevitable global states: a concept to detect unstable properties of distributed computations in an observer independent way.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE Symposium on Parallel and Distributed Processing, 1994

On the Fly Testing of Regular Patterns in Distributed Computations.

[BibT_eX]

[DOI]

Vijay K. Garg

Alexander I. Tomlinson

Proceedings of the 1994 International Conference on Parallel Processing, 1994

On Granularity of Events in Distributed Computations.

[BibT_eX]

[DOI]

Proceedings of the Specification of Parallel Algorithms, 1994

Sequential Consistency in Distributed Systems.

[BibT_eX]

[DOI]

James Z. Zhou

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

Definition and Implementation of a Flexible Communication Primitive for Distributed Programming.

[BibT_eX]

Proceedings of the Applications in Parallel and Distributed Computing, 1994

An Efficient Implementation of Sequentially Consistent Distributed Shared Memories.

[BibT_eX]

Proceedings of the Applications in Parallel and Distributed Computing, 1994

1993

Debugging tool for distributed Estelle programs.

[BibT_eX]

[DOI]

Comput. Commun., 1993

Detecting Atomic Sequences of Predicates in Distributed Computations.

[BibT_eX]

[DOI]

Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, 1993

Termination Detection in a Very General Distributed Computing Model.

[BibT_eX]

[DOI]

Jerzy Brzezinski

Proceedings of the 13th International Conference on Distributed Computing Systems, 1993

1992

About Logical Clocks for Distributed Systems.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1992

Elements for a course on the design of distributed algorithms.

[BibT_eX]

[DOI]

ACM SIGCSE Bull., 1992

Distributed Evaluation: A Tool for Constructing Distributed Detection Programs.

[BibT_eX]

[DOI]

Proceedings of the Theory of Computing and Systems, 1992

Synchronization and Concurrency Measures for Distributed Computations.

[BibT_eX]

[DOI]

Mitchell L. Neilsen

Proceedings of the 12th International Conference on Distributed Computing Systems, 1992

A General Method to Define Quorums.

[BibT_eX]

[DOI]

Mitchell L. Neilsen

Proceedings of the 12th International Conference on Distributed Computing Systems, 1992

A Distributed Kernel for Virtual Time Driven Applications.

[BibT_eX]

Philippe Ingels

Carlos Maziero

Proceedings of the Computing and Information, 1992

1991

A Simple Taxonomy for Distributed Mutual Exclusion Algorithms.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1991

The Causal Ordering Abstraction and a Simple Way to Implement it.

[BibT_eX]

[DOI]

Sam Toueg

Inf. Process. Lett., 1991

A Distributed Solution to the k-out of-M Resources Allocation Problem.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computing and Information, 1991

Implementation and Evaluation of Distributed Synchronization on a Distributed Memory Parallel Machine.

[BibT_eX]

[DOI]

André Couvert

René Pedrono

Proceedings of the Distributed Memory Computing, 2nd European Conference, 1991

1990

Synchronization and control of distributed systems and programs.

[BibT_eX]

Wiley series in parallel computing, Wiley, ISBN: 978-0-471-92453-1, 1990

1989

Prime Numbers as a Tool to Design Distributed Algorithms.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1989

1988

A Distributed Algorithm for Mutual Exclusion in an Arbitrary Network.

[BibT_eX]

[DOI]

Comput. J., 1988

Distributed algorithms and protocols.

[BibT_eX]

Wiley, ISBN: 978-0-471-91754-0, 1988

1987

Calcul Réparti D'un Extrémum Et Du Routage Associé Dans Un Réseau Quelconque.

[BibT_eX]

[DOI]

Aomar Maddi

RAIRO Theor. Informatics Appl., 1987

A Distributed Algorithm to Prevent Mutual Drift Between n Logical Clocks.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1987

General and Efficient Decentralized Consensus Protocols.

[BibT_eX]

[DOI]

Jean-Claude Bermond

Jean-Claude König

Proceedings of the Distributed Algorithms, 1987

Detection of Stable Properties in Distributed Applications.

[BibT_eX]

[DOI]

Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, 1987

1983

Structured Specification of Communicating Systems.

[BibT_eX]

[DOI]

Gregor von Bochmann

IEEE Trans. Computers, 1983

1981

An Experience in Implementing Abstract Data Types.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1981

Types in a Mixed Language System.

[BibT_eX]

[DOI]

Philippe Darondeau

Paul Le Guernic

BIT, 1981

1980

Synchronization and Protection Features for Data Abstraction.

[BibT_eX]

[DOI]

D. Herman