Automated Validation of a Co-operation Protocol for Distributed Systems

Kurt Geihs, Manfred H. Seifert. Automated Validation of a Co-operation Protocol for Distributed Systems. In ICDCS. pages 436-443, 1986.

Abstract

Abstract is missing.