Formal Specification and Verification of a Network Independent Atomic Multicast Protocol.
Mário BaptistaSusanne GrafJean-Luc RichierLuís E. T. RodriguesCarlos RodriguezPaulo VeríssimoJacques VoironPublished in: FORTE (1990)
Keyphrases
- protocol specification
- formal specification
- model checking
- model checker
- communication protocols
- formal methods
- concurrent systems
- object oriented design
- multicast routing protocol
- specification languages
- network layer
- process algebra
- specification language
- reverse engineering
- application layer
- computer networks
- artificial intelligence
- congestion control
- grid workflow
- database
- wireless ad hoc networks
- network coding
- routing algorithm
- communication networks
- response time
- ip multicast
- relational databases