UNISPEX - A Unified Model for Protocol Specification and Verification.

Son T. Vuong Donald D. Cowan

Published in: INFOCOM (1984)

Keyphrases

unified model
protocol specification
communication protocols
formal specification
formal methods
database systems
transformation rules
multi agent systems
artificial intelligence
web services
data model
fine grained