A Broadcast Protocol: Functional Properties and Specification.
Sub RamakrishnanPublished in: Great Lakes Computer Science Conference (1989)
Keyphrases
- functional properties
- protocol specification
- data dissemination
- boolean functions
- state machines
- high level
- formal specification
- communication protocol
- lightweight
- state machine
- network protocols
- colored petri nets
- formal analysis
- data broadcasting
- web services
- operational semantics
- cryptographic protocols
- communication protocols
- bit rate
- digital television