This paper presents two specifications of causal group multicast. In the first, causal ordering will be explained and explored in the context of group multicast. Failures will be introduced and a specification of causal group multicast which includes node crashes will be given. This final specification describes the service provided by ISIS’s causal multicast facility. The models are expressed using the I/O automaton. 1
In this paper, we study atomic multicast, a fundamental abstraction for building fault-tolerant syst...
This paper presents a formal design for a novel group multicast service that provides virtually sync...
Overlay multicast makes use of the Internet as a low level infrastructure to provide multicast servi...
This thesis provides a layered proof of an algorithm based on the ISIS system that provides causal g...
Concepts of group (to structure processes) and causality (to structure sendings and deliveries of me...
The ISIS toolkit is a distributed programming environment based on virtually synchronous process gro...
Process groups are an increasingly popular tool for programming distributed systems. Such ...
In this thesis, we present new protocols that provide reliable ordered multicasts to multiple overl...
PhD ThesisIt is widely accepted that group communication (multicast) is a powerful abstraction that...
The paper discusses a multicast mechanism using propagation trees. It guarantees the total ordering ...
Abstract. In this paper, we study the atomic multicast problem, a fundamental abstraction for buildi...
In this paper we present an efficient causal multi-channel algorithm that can be used in a multigrou...
This paper presents a transport-level multicast protocol that is useful for building fault-tolerant ...
Process groups are a natural tool for distributed programming, and are increasingly important in dis...
Process groups are a natural tool for distributed programming and are increasingly important in dist...
In this paper, we study atomic multicast, a fundamental abstraction for building fault-tolerant syst...
This paper presents a formal design for a novel group multicast service that provides virtually sync...
Overlay multicast makes use of the Internet as a low level infrastructure to provide multicast servi...
This thesis provides a layered proof of an algorithm based on the ISIS system that provides causal g...
Concepts of group (to structure processes) and causality (to structure sendings and deliveries of me...
The ISIS toolkit is a distributed programming environment based on virtually synchronous process gro...
Process groups are an increasingly popular tool for programming distributed systems. Such ...
In this thesis, we present new protocols that provide reliable ordered multicasts to multiple overl...
PhD ThesisIt is widely accepted that group communication (multicast) is a powerful abstraction that...
The paper discusses a multicast mechanism using propagation trees. It guarantees the total ordering ...
Abstract. In this paper, we study the atomic multicast problem, a fundamental abstraction for buildi...
In this paper we present an efficient causal multi-channel algorithm that can be used in a multigrou...
This paper presents a transport-level multicast protocol that is useful for building fault-tolerant ...
Process groups are a natural tool for distributed programming, and are increasingly important in dis...
Process groups are a natural tool for distributed programming and are increasingly important in dist...
In this paper, we study atomic multicast, a fundamental abstraction for building fault-tolerant syst...
This paper presents a formal design for a novel group multicast service that provides virtually sync...
Overlay multicast makes use of the Internet as a low level infrastructure to provide multicast servi...