A top-down step-wise refinement methodology for protocol specification

  • Authors:

  • Da-Hai Li;Tom S.E. Maibaum

  • Affiliations:

  • Imperial College of Science and Technology, London, UK;Imperial College of Science and Technology, London, UK

  • Venue:
  • International Conference on Concurrency on Concurrency 88
  • Year:
  • 1988

Quantified Score

Hi-index 0.00

Visualization

Abstract