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

Pierre Azéma, Jean-Michel Ayache, Bernard Berthomieu. Design and Verification of Communication Procedures: A Bottom-Up Approach. In ICSE. pages 168-174, 1978.

Abstract

Abstract is missing.