Data flow analysis of concurrent systems that use the rendezvous model of synchronization
- 1 October 1991
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 21 references indexed in Scilit:
- Cecil: a sequencing constraint language for automatic static analysis generationIEEE Transactions on Software Engineering, 1990
- Integrated concurrency analysis in a software development enviornmentACM SIGSOFT Software Engineering Notes, 1989
- Testing the correctness of tasking supervisors with TSL specificationsACM SIGSOFT Software Engineering Notes, 1989
- Experiments in automated analysis of concurrent software systemsACM SIGSOFT Software Engineering Notes, 1989
- A graphical notation for describing executions of concurrent Ada programsACM SIGAda Ada Letters, 1986
- A general-purpose algorithm for analyzing concurrent programsCommunications of the ACM, 1983
- Data Flow Analysis for Procedural LanguagesJournal of the ACM, 1979
- A practical interprocedural data flow analysis algorithmCommunications of the ACM, 1978
- Communicating sequential processesCommunications of the ACM, 1978
- Data Flow Analysis in Software ReliabilityACM Computing Surveys, 1976