Abstract interpretation of mobile systems

DOI10.1016/j.jlap.2004.01.005zbMath1066.68087OpenAlexW1982746231MaRDI QIDQ1772313

Jerome Feret

Publication date: 18 April 2005

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2004.01.005

zbMATH Keywords

\(\pi\)-calculusStatic analysisMobilityAbstract interpretationWorst case analysisControl flow analysisOccurrence counting analysis

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

The octagon abstract domain ⋮ A static analysis for brane calculi providing global occurrence counting information ⋮ Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case ⋮ TreeKs: A Functor to Make Numerical Abstract Domains Scalable ⋮ A Global Occurrence Counting Analysis for Brane Calculi ⋮ Abstract interpretation based verification of temporal properties for BioAmbients

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A calculus of mobile processes. II
• Affine relationships among variables of a program
• Grammar Analysis and Parsing by Abstract Interpretation
• On the security of public key protocols
• Abstract interpretation and application to logic programs
• Flow logic for Dolev–Yao secrecy in cryptographic processes
• Shape analysis for mobile ambients
• A generic type system for the Pi-calculus
• Abstract Interpretation Frameworks
• On Context-Free Languages