Protocol Design and Implementation Using Formal Methods

Marten van Sinderen, Luís Ferreira Pires, Chris A. Vissers. Protocol Design and Implementation Using Formal Methods. Comput. J., 35(5):478-491, 1992.

Abstract

Abstract is missing.