A static analysis for beta-binders

DOI10.1016/J.ENTCS.2007.12.006MaRDI QIDQ2870298zbMATH OpenOpenAlexFDO

Authors 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

beta-binderscontrol flow analysis

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)

Recommendations

• A control flow analysis for Beta-binders with and without static compartments
• Control flow analysis for brane calculi
• Modeling Static Biological Compartments with Beta-binders
• Computational Methods in Systems Biology
• A static analysis for brane calculi providing global occurrence counting information

Cites work

• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• BioAmbients: an abstraction for biological compartments
• Brane Calculi
• Computational Methods in Systems Biology
• CONCUR 2005 – Concurrency Theory
• scientific article; zbMATH DE number 1692944 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1950547 (Why is no real title available?)
• scientific article; zbMATH DE number 1953280 (Why is no real title available?)
• Mobile ambients
• Static analysis for the \(\pi\)-calculus with applications to security
• Transactions on Computational Systems Biology I
• Validating firewalls using flow logics

Cited in

(11)

• A control flow analysis for Beta-binders with and without static compartments
• Causal static analysis for brane calculi
• A static analysis for brane calculi providing global occurrence counting information
• The decidability of the structural congruence for beta-binders
• On Beta-Binders Communications
• Control flow analysis for brane calculi
• Modeling Static Biological Compartments with Beta-binders
• Transactions on Computational Systems Biology I
• Computational Methods in Systems Biology
• Transactions on Computational Systems Biology III
• On the decidability and complexity of the structural congruence for beta-binders

This page was built for publication: A static analysis for beta-binders

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2870298)