Occurrence Counting Analysis for the π-calculus
Open Access
- 1 January 2000
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 39 (2) , 1-18
- https://doi.org/10.1016/s1571-0661(05)01155-2
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A calculus of mobile processes, IPublished by Elsevier ,2004
- Control flow analysis for the π-calculusPublished by Springer Nature ,1998
- Abstract interpretation by dynamic partitioningJournal of Functional Programming, 1992
- Abstract Interpretation FrameworksJournal of Logic and Computation, 1992
- The chemical abstract machineTheoretical Computer Science, 1992
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977
- Affine relationships among variables of a programActa Informatica, 1976