Executable Logic Specifications for Protocol Service Interfaces

Deepinder P. Sidhu, Carole S. Crall. Executable Logic Specifications for Protocol Service Interfaces. IEEE Trans. Software Eng., 14(1):98-121, 1988. [doi]

Abstract

Abstract is missing.