A Virtually Synchronous Group Multicast Algorithm for WANs: Formal Approach

DOI10.1137/S0097539700378754MaRDI QIDQ4785633zbMATH OpenFDO

Authors Idit Keidar, Roger Khazan

Publication date 5 January 2003

Published in SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1137/S0097539700378754

zbMATH Keywords

formal modelinggroup communicationreliable multicastvirtual synchrony

Mathematics Subject Classification ID

Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed algorithms (68W15)

Recommendations

• A dynamic light-weight group service
• scientific article; zbMATH DE number 1973981
• Providing view synchrony for group communication services
• Dynamic group communication
• Group communication and multicast

This page was built for publication: A Virtually Synchronous Group Multicast Algorithm for WANs: Formal Approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4785633)