Login / Signup
Toshiba's Flow Attribute Notification Protocol (FANP) Specification.
Kenichi Nagami
Yasuhiro Katsube
Yasuro Shobatake
Akiyoshi Mogi
Shigeo Matsuzawa
Tatsuya Jinmei
Hiroshi Esaki
Published in:
RFC (1997)
Keyphrases
</>
protocol specification
state machines
communication protocols
formal specification
lightweight
attribute values
colored petri nets
tcp ip
flow patterns
coloured petri nets
file transfer
network protocols
information flow
state machine
formal verification
specification language
conceptual model
high level
database