Specification and Validation of Protocols.

Philip M. Merlin

Published in: IEEE Trans. Commun. (1979)

Keyphrases

protocol specification
high level
communication protocols
case study
user defined
specification language
formal verification
databases
information retrieval
information systems
distributed databases
state machines