A Formal Specification Technique for Communication Protocol.

Published in: INFOCOM (1989)

Keyphrases

formal specification
communication protocol
specification languages
model checking
object oriented design
specification language
communication protocols
concurrent systems
process algebra
formal methods
reverse engineering
wifi
software components
neural network
peer to peer
control system
information systems