Login / Signup
The Trace Specification of Communications Protocols.
Daniel Hoffman
Published in:
IEEE Trans. Computers (1985)
Keyphrases
</>
communication systems
message delivery
protocol specification
high level
formal specification
group communication
communication networks
specification language
communication protocol
state machines
data mining
web services
distributed systems
formal verification
communication protocols