Time in Formal Protocol Specifications.
Harry RudinPublished in: Kommunikation in Verteilten Systemen (1) (1985)
Keyphrases
- formal specification
- protocol specification
- model checker
- formal methods
- formal language
- formal analysis
- reactive systems
- model checking
- operational semantics
- lightweight
- state machines
- requirements specification
- formal descriptions
- communication protocols
- communication protocol
- formal model
- agent communication language
- functional requirements
- software engineering
- coloured petri nets
- delay insensitive
- cryptographic protocols
- application layer
- network simulator
- controlled natural language
- security protocols
- formal semantics
- software development