Login / Signup
Specification of (parts of) a Lip-Sync Protocol Using HyCharts.
Thomas Stauner
Published in:
FBT (1999)
Keyphrases
</>
protocol specification
state machines
coloured petri nets
high level
lightweight
formal verification
state machine
specification language
multi agent systems
digital libraries
electronic commerce
formal specification
application layer
communication protocols
network protocols