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

Da-Hai Li, T. S. E. Maibaum

Browse the full CONCUR paper archive.