Title :
Causal group multicast: a formal description
Author_Institution :
Basser Dept. of Comput. Sci., Sydney Univ., NSW, Australia
Abstract :
This paper presents a specification of causal group multicast. Firstly causal ordering is explained and explored in the context of group multicast. This is then formally specified. The paper goes on to discuss the effect of introducing failures into the specification. The models are expressed using an I/O automaton
Keywords :
automata theory; fault tolerant computing; formal specification; groupware; I/O automaton; causal group multicast; causal ordering; failures; formal description; group multicast; multicast protocols; specification; Algorithm design and analysis; Automata; Broadcasting; Computer crashes; Computer science; Databases; Formal specifications; Intersymbol interference; Multicast algorithms; Multicast protocols;
Conference_Titel :
TENCON '94. IEEE Region 10's Ninth Annual International Conference. Theme: Frontiers of Computer Technology. Proceedings of 1994
Print_ISBN :
0-7803-1862-5
DOI :
10.1109/TENCON.1994.369216
