DocumentCode
2392352
Title
Causal group multicast: a formal description
Author
Tyler, P.
Author_Institution
Basser Dept. of Comput. Sci., Sydney Univ., NSW, Australia
fYear
1994
fDate
22-26 Aug 1994
Firstpage
692
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/TENCON.1994.369216
Filename
369216
Link To Document