A Protocol and Correctness Proofs for Real-Time High-Performance Broadcast Networks.
Jean-François HermantGérard Le LannPublished in: ICDCS (1998)
Keyphrases
- real time
- network protocols
- data dissemination
- formal proof
- social networks
- low cost
- low latency
- vision system
- lightweight
- signal processor
- delay tolerant
- high reliability
- cellular networks
- theorem proving
- theorem prover
- application layer
- computer networks
- pc cluster
- complex networks
- data broadcasting
- high speed
- control system
- database systems