Casual Group Multicast: A Formal Description
نویسنده
چکیده
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.
منابع مشابه
Causal Group Multicast: A Formal Description
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 ...
متن کاملCompositional Speci cation of ODPBinding
A building blocks approach for the formal speciication of binding objects in the ODP computational Model is presented. The formal notation that is used is based on LOTOS extended with two features-real time and gate passing. These features are among the extensions that are currently studied in the ISO standardisation Formal Description Techniques group. We apply our building blocks approach to ...
متن کاملA Formal Venture into Reliable Multicast Territory
In this paper, we present a formal model of the reliable multicast service that ensures eventual packet delivery with, possibly, some timeliness guarantees. This model dictates precisely what it means to be a member of the reliable multicast group and which packets are guaranteed delivery to which members of the group. Moreover, it is reasonable, implementable, and broad; that is, it captures t...
متن کاملFreeWalk: A 3D Virtual Space for Casual Meetings
M ost computer systems for collab-orative work provide desktop videoconferencing tools for business meetings. However, meetings aren't always formal or business related. Casual meetings such as chatting during a coffee break or in a hallway occur daily. They also play an important role in collaboration. We believe that conventional desktop videoconferencing systems , which multicast pictures an...
متن کاملCost analysis and optimization for IP multicast group management
This paper studies the system parameters that affect the total cost of managing the multicast group on a router. A Petri net model is first proposed to describe the states and transitions of the multicast group management. Based on this model, a delayed vacation queue, extended from a simple M/M/1 queue, is used to analyze the total cost of the multicast group management under various system co...
متن کامل