Formal Techniques for Protocol Specification and Verification.

Carl A. Sunshine

Published in: Computer (1979)

Keyphrases

protocol specification
formal specification
formal methods
model checking
communication protocols
process algebra
concurrent systems
formal analysis
knowledge based systems
reverse engineering
artificial intelligence
software engineering
data management
database management systems