Protocol verification made simple: a tutorial

Dedicated to the memory of Professor Louis E. Rosier (1951–1991): It ain't over
https://doi.org/10.1016/0169-7552(93)90094-KGet rights and content

Abstract

We describe how to define communication protocols, how to express protocol properties, and how to verify that the execution of a given protocol definition satisfies a given protocol property. The presentation is rarely opinionated, sometimes conversational, mostly rigorous, but always simple.

References (9)

  • G. Boudol et al.

    Concurrency and atomicity

    Theoret. Comput. Sci.

    (1988)
  • Ming T. Liu

    Protocol engineering

  • G.M. Brown et al.

    Block acknowledgements: redesigning the window protocol

    IEEE Trans. Commun.

    (1991)
  • K.M. Chandy et al.

    Parallel Program Design: A Foundation

    (1988)
There are more references available in the full text version of this article.

Cited by (0)

∗

Gouda is supported in part by the ONR Grant N00014-89-J-1913, and by a grant from the Texas Advanced Technology Program 1992–1994.

View full text
Copyright © 1993 Published by Elsevier B.V.