@misc {IOPORT.70170752,
    author       = {Long, Douglas L. and Clarke, Lori A.},
    title        = {Data flow analysis of concurrent systems that use the rendezvous model of synchronization},
    howpublished = {Symposium on Testing, Analysis, and Verification, 21-35 (1991).},
    year         = {1991},
    doi          = {10.1145/120807.120810},
    identifier   = {70170752},
}