Data flow analysis of concurrent systems that use the rendezvous model of synchronization (1991)

by D Long, L A Clarke
Venue:In TAV4: Proceedings of the Symposium on Testing, Analysis, and Verification