Abstract interpretation of the π-calculus

This publication has 17 references indexed in Scilit:

• Determining storage properties of sequential and concurrent programs with assignment and structured data
  Published by Springer Nature ,1995
• Compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rule-based and game-theoretic form
  Published by Springer Nature ,1995
• Analyzing the communication topology of concurrent programs
  Published by Association for Computing Machinery (ACM) ,1995
• Interprocedural may-alias analysis for pointers
  Published by Association for Computing Machinery (ACM) ,1994
• A theory of processes with localities
  Formal Aspects of Computing, 1994
• Abstract Interpretation Frameworks
  Journal of Logic and Computation, 1992
• The chemical abstract machine
  Theoretical Computer Science, 1992
• Static analysis of linear congruence equalities among variables of a program
  Published by Springer Nature ,1991
• Static analysis of arithmetical congruences
  International Journal of Computer Mathematics, 1989
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977