A Static Analysis for Beta-Binders

DOI10.1016/j.entcs.2007.12.006zbMath1279.68197OpenAlexW2015519268MaRDI QIDQ2870298

Chiara Bodei

Publication date: 17 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.12.006

zbMATH Keywords

control flow analysisbeta-binders

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Cell biology (92C37) Systems biology, networks (92C42)

Related Items (1)

A control flow analysis for Beta-binders with and without static compartments

Cites Work

• Mobile ambients
• Validating firewalls using flow logics
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• Static analysis for the \(\pi\)-calculus with applications to security
• BioAmbients: an abstraction for biological compartments
• Transactions on Computational Systems Biology I
• Brane Calculi
• Computational Methods in Systems Biology
• CONCUR 2005 – Concurrency Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Static Analysis for Beta-Binders