Data Flow Analysis of Concurrent Systems that Use the Rendezvous Model of Synchronization

Douglas L. Long, Lori A. Clarke. Data Flow Analysis of Concurrent Systems that Use the Rendezvous Model of Synchronization. In Symposium on Testing, Analysis, and Verification. pages 21-35, 1991. [doi]

Abstract

Abstract is missing.