A Top-down Step-wise Refinement Methodology for Protocol Specification.

Da-Hai Li T. S. E. Maibaum

Published in: Concurrency (1988)

Keyphrases

step wise
protocol specification
database
communication protocols
artificial intelligence
case study
knowledge acquisition