Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
Estelle
Jump to user comments
A Pascal extension for formal specification of computer
network protocols. Protocols are described by modules
which are communicating NFAs. Modules are arranged in a
dynamic hierarchy and communicate at named interaction points.