Design and Verification of Communication Procedures: A Bottom-Up Approach

@inproceedings{Azema-al:ICSE78,
  author    = {Pierre Az{\'{e}}ma and
               Jean{-}Michel Ayache and
               Bernard Berthomieu},
  title     = {Design and Verification of Communication Procedures: A {Bottom-Up} Approach},
  booktitle = {ICSE},
  pages     = {168--174},
  publisher = {{IEEE} Computer Society},
  year      = {1978},
}