Login / Signup
Host Access Protocol (HAP) specification: Version 2.
Winston Edmond
Published in:
RFC (1991)
Keyphrases
</>
protocol specification
lightweight
state machines
data dissemination
colored petri nets
access control
high level
formal analysis
random access
petri net
specification language
formal specification
concurrency control protocols
state machine
distributed systems
network protocols
databases