Design Considerations for a Visual Language for Communications Protocol Specifications.
Wayne CitrinPublished in: VL (1991)
Keyphrases
- design considerations
- multiple access
- protocol specification
- group communication
- model checker
- delay insensitive
- communication systems
- message delivery
- state machines
- lightweight
- formal specification
- model checking
- communication protocols
- communication networks
- low voltage
- random access memory
- security protocols
- communication protocol
- cryptographic protocols
- formal analysis
- wireless link
- agent communication language
- high level
- multimedia