Tractable dataflow analysis for distributed systems
- 1 January 1994
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 20 (8) , 579-593
- https://doi.org/10.1109/32.310668
Abstract
No abstract availableThis publication has 20 references indexed in Scilit:
- An integrated method for effective behaviour analysis of distributed systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Tractable flow analysis for anomaly detection in distributed programsPublished by Springer Nature ,1993
- Verification in process algebra of the distributed control of track vehicles—A case studyPublished by Springer Nature ,1993
- A model of Ada programs for static deadlock detection in polynomial timesPublished by Association for Computing Machinery (ACM) ,1991
- Data flow analysis of concurrent systems that use the rendezvous model of synchronizationPublished by Association for Computing Machinery (ACM) ,1991
- Data flow analysis of communicating finite state machinesACM Transactions on Programming Languages and Systems, 1991
- Debugging concurrent programsACM Computing Surveys, 1989
- Towards dataflow analysis of communicating finite state machinesPublished by Association for Computing Machinery (ACM) ,1989
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981
- Anomaly Detection in Concurrent Software by Static Data Flow AnalysisIEEE Transactions on Software Engineering, 1980