Formal specification and analysis of DMI-an X-25 based protocol.

Vijay Gehlot Insup Lee

Published in: INFOCOM (1988)

Keyphrases

formal specification
formal analysis
object oriented design
databases
specification languages
high level
cooperative
expert systems
data abstraction