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

DOI10.1016/j.tcs.2008.09.036zbMath1173.68039MaRDI QIDQ2271446

Chiara Bodei

Publication date: 7 August 2009

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2008.09.036

zbMATH Keywords

control flow analysis; beta-binders; biological compartments

Mathematics Subject Classification ID

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

92B05: General biology and biomathematics

Related Items

Control Flow Analysis for Brane Calculi, A Global Occurrence Counting Analysis for Brane Calculi, An analysis for causal properties of membrane interactions, Causal static analysis for brane calculi, A static analysis for brane calculi providing global occurrence counting information, Verification of spatial and temporal modalities in biochemical systems, A proof theoretic view of spatial and temporal dependencies in biochemical systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• Modelling biochemical pathways through enhanced \(\pi\)-calculus
• BioAmbients: an abstraction for biological compartments
• Communicating by compatibility
• A Static Analysis for Beta-Binders
• On Beta-Binders Communications
• Modeling Static Biological Compartments with Beta-binders
• Transactions on Computational Systems Biology I
• Brane Calculi
• Computational Methods in Systems Biology
• CONCUR 2005 – Concurrency Theory