Data flow analysis of distributed communicating processes
- 1 February 1990
- journal article
- Published by Springer Nature in International Journal of Parallel Programming
- Vol. 19 (1) , 1-30
- https://doi.org/10.1007/bf01407862
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Towards dataflow analysis of communicating finite state machinesPublished by Association for Computing Machinery (ACM) ,1989
- The complexity of reachability in distributed communicating processesActa Informatica, 1988
- Csp-programs as nets with individual tokensPublished by Springer Nature ,1985
- Understanding and using asynchronous message passing (Preliminary Version)Published by Association for Computing Machinery (ACM) ,1982
- Semantic analysis of communicating sequential processesLecture Notes in Computer Science, 1980
- High level programming for distributed computingCommunications of the ACM, 1979
- Data flow analysis of communicating processesPublished by Association for Computing Machinery (ACM) ,1979
- Communicating sequential processesCommunications of the ACM, 1978
- A Fast and Usually Linear Algorithm for Global Flow AnalysisJournal of the ACM, 1976
- A Simple Algorithm for Global Data Flow Analysis ProblemsSIAM Journal on Computing, 1975