Login / Signup
Synthesis of LOTOS Specification of the IEEE-1394 Firewire Protocol.
Vincenza Carchiolo
Michele Malgeri
Giuseppe Mangioni
Published 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