Telnet Protocol specifications.

Alex M. McKenzie

Published in: RFC (1973)

Keyphrases

protocol specification
model checker
lightweight
state machines
communication protocol
coloured petri nets
communication protocols
tcp ip
formal methods
model checking
formal specification
reactive systems
authentication protocol
database
formal analysis
ip address
finite state machines
delay insensitive
high level