Synchronization in Distributed Programs

Generative communication in Linda

ACM Transactions on Programming Languages and Systems (TOPLAS)

Using Time Instead of Timeout for Fault-Tolerant Distributed Systems.

ACM Transactions on Programming Languages and Systems (TOPLAS)

Virtual time

ACM Transactions on Programming Languages and Systems (TOPLAS)

Complexity of network synchronization

Journal of the ACM (JACM)

Exploiting virtual synchrony in distributed systems

SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles

Distributed cooperation with action systems

ACM Transactions on Programming Languages and Systems (TOPLAS)

Reliable scheduling in a TMR database system

ACM Transactions on Computer Systems (TOCS)

A Kernel for High-Performance Multicast Communications

IEEE Transactions on Computers

Preserving and using context information in interprocess communication

ACM Transactions on Computer Systems (TOCS)

Synchronization of asynchronous processes in CSP

ACM Transactions on Programming Languages and Systems (TOPLAS)

Decentralized mutual exclusion in the presence of link failures

CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference

Process Synchronization: Design and Performance Evaluation of Distributed Algorithms

IEEE Transactions on Software Engineering

Implementing fault-tolerant services using the state machine approach: a tutorial

ACM Computing Surveys (CSUR)

Paradigms for process interaction in distributed programs

ACM Computing Surveys (CSUR)

An efficient and fault-tolerant solution for distributed mutual exclusion

ACM Transactions on Computer Systems (TOCS)

Algorithms for scalable synchronization on shared-memory multiprocessors

ACM Transactions on Computer Systems (TOCS)

Ordered and reliable multicast communication

ACM Transactions on Computer Systems (TOCS)

On randomization in sequential and distributed algorithms

ACM Computing Surveys (CSUR)

A N algorithm for mutual exclusion in decentralized systems

ACM Transactions on Computer Systems (TOCS)

Epidemic algorithms in replicated databases (extended abstract)

PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

An approach towards distributed simulation of timed petri nets

WSC' 90 Proceedings of the 22nd conference on Winter simulation

Time-based performance evaluation of protocols for distributed systems: an alternative to message counting

WSC' 90 Proceedings of the 22nd conference on Winter simulation

Concepts and Notations for Concurrent Programming

ACM Computing Surveys (CSUR)

An Effective Implementation for the Generalized Input-Output Construct of CSP

ACM Transactions on Programming Languages and Systems (TOPLAS)

Fail-stop processors: an approach to designing fault-tolerant computing systems

ACM Transactions on Computer Systems (TOCS)

Byzantine generals in action: implementing fail-stop processors

ACM Transactions on Computer Systems (TOCS)

Design of fault tolerant distributed systems: the fail-controlled approach

EW 4 Proceedings of the 4th workshop on ACM SIGOPS European workshop

Practical byzantine fault tolerance and proactive recovery

ACM Transactions on Computer Systems (TOCS)

Storage Efficient Replicated Databases

IEEE Transactions on Knowledge and Data Engineering

A Nonblocking Quorum Consensus Protocol for Replicated Data

IEEE Transactions on Parallel and Distributed Systems

An Implementation of F-Channels

IEEE Transactions on Parallel and Distributed Systems

Fault-Tolerant Algorithms for Fair Interprocess Synchronization

IEEE Transactions on Parallel and Distributed Systems

Efficient Execution of Read-Only Transactions in Replicated Multiversion Databases

IEEE Transactions on Knowledge and Data Engineering

Reducing Storage for Quorum Consensus Algorithms

VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases

Efficient Synchronization of Asynchronous Processes

Euro-Par '01 Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing

Publishing: a reliable broadcast communication mechanism

SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles

Distributed allocation with pools of servers

PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing

Efficient solutions to the replicated log and dictionary problems

PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing

Protocols for Non-Deterministic Communication over Synchronous Channels

IPPS '98 Proceedings of the 12th. International Parallel Processing Symposium on International Parallel Processing Symposium

Epidemic Algorithms for Replicated Databases

IEEE Transactions on Knowledge and Data Engineering

A class of high performance Maekawa-type algorithms for distributed systems under heavy demand

Distributed Computing

Performance modelling of asynchronous replica distribution technique on distributed database systems

International Journal of Computer Mathematics - Distributed Algorithms in Science and Engineering

Symmetric and Synchronous Communication in Peer-to-Peer Networks

MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction

Modelling remote concurrency with Ada: case study of symmetric non-deterministic rendezvous

Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies

Practical impact of group communication theory

Future directions in distributed computing

ACTrESS: automatic context transformation in event-based software systems

Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems

Process fragmentation, distribution and execution using an event-based interaction scheme

Journal of Systems and Software