Synthesis of LOTOS Specification of the IEEE-1394 Firewire Protocol.
Vincenza CarchioloMichele MalgeriGiuseppe MangioniPublished in: IEEE International Workshop on Rapid System Prototyping (2003)
Keyphrases
- temporal ordering
- protocol specification
- mac protocol
- medium access control
- lightweight
- communication protocols
- state machines
- mobility management
- physical layer
- high level
- wireless local area networks
- program synthesis
- application layer
- cryptographic protocols
- link layer
- wireless lan
- end to end
- specification language
- formal specification
- tcp ip
- texture synthesis
- energy efficiency
- colored petri nets
- video streaming
- network protocols
- petri net
- formal analysis
- database systems