Automatically closing open reactive programs

This publication has 24 references indexed in Scilit:

• Abstract interpretation of the π-calculus
  Published by Springer Nature ,1997
• Semantic analysis of shared-memory concurrent languages using abstract model-checking
  Published by Association for Computing Machinery (ACM) ,1995
• Non-concurrency analysis
  Published by Association for Computing Machinery (ACM) ,1993
• The concurrency workbench
  ACM Transactions on Programming Languages and Systems, 1993
• Data flow analysis of concurrent systems that use the rendezvous model of synchronization
  Published by Association for Computing Machinery (ACM) ,1991
• Properties of data flow frameworks
  Acta Informatica, 1990
• The program dependence graph and its use in optimization
  ACM Transactions on Programming Languages and Systems, 1987
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• A general-purpose algorithm for analyzing concurrent programs
  Communications of the ACM, 1983
• On Live-Dead Analysis for Global Data Flow Problems
  Journal of the ACM, 1977