Tractable flow analysis for anomaly detection in distributed programs

This publication has 11 references indexed in Scilit:

• Tractable flow analysis for anomaly detection in distributed programs
  Published by Springer Nature ,1993
• An algorithm for analyzing communicating processes
  Published by Springer Nature ,1992
• Automated analysis of concurrent systems with the constrained expression toolset
  IEEE Transactions on Software Engineering, 1991
• Data flow analysis of communicating finite state machines
  ACM Transactions on Programming Languages and Systems, 1991
• Data flow analysis of distributed communicating processes
  International Journal of Parallel Programming, 1990
• Debugging concurrent programs
  ACM Computing Surveys, 1989
• Towards dataflow analysis of communicating finite state machines
  Published by Association for Computing Machinery (ACM) ,1989
• On the analysis of cooperation and antagonism in networks of communicating processes
  Published by Association for Computing Machinery (ACM) ,1985
• Complexity of analyzing the synchronization structure of concurrent programs
  Acta Informatica, 1983
• Data flow analysis of communicating processes
  Published by Association for Computing Machinery (ACM) ,1979