| Computer Science Laboratory | |
| Contact | |
 | People at CSL |
| Projects at CSL |
| Research Programs |
| Division Home | |
 Specifying a Reliable Broadcasting Protocol in Maude by Dr. Grit Denker, Dr. Carolyn Talcott, J. J. Garcia-Luna-Aceves, José Meseguer, Peter Csaba Ölvecykz, Jzoti Raju & Brad Smith. Abstract This paper presents a formal and executable specification of a new protocol for reliable broadcasting of information in networks with dynamic topology. Reliable broadcasting is not trivial when the topology of the network can change due to failure and mobility. The aim is to ensure that all nodes that satisfy certain connectedness criteria receive the information within finite time, and that the source is notified about it. The protocol should furthermore incur as low latency and as few messages as possible.Files |
||||
About Us 
R&D Divisions
Careers
Newsroom
Contact Us
©
2024 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy