Data Flow Analysis of Concurrent Systems that Use the Rendezvous Model of Synchronization.
Douglas L. Long, Lori A. Clarke
VenueAISSTA
Year1991
ProceedingsSymposium on Testing, Analysis, and Verification
DBLP recordconf/issta/LongC91 ↗
Browse the full ISSTA paper archive.