Specification and Verification of Time-Dependant Communication Protocols.

A. Udaya Shankar Simon S. Lam

Published in: PSTV (1984)

Keyphrases

protocol specification
communication protocols
process algebra
formal verification
formal specification
communication networks
formal methods
communication protocol
high level
model checking