Modeling Static Biological Compartments with Beta-binders

DOI10.1007/978-3-540-73433-8_18MaRDI QIDQ5429370zbMATH OpenOpenAlexFDO

Authors Maria Luisa Guerriero, Corrado Priami, Alessandro Romanel

Publication date 29 November 2007

Published in Algebraic Biology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73433-8_18

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) General biology and biomathematics (92B05)

Recommendations

• A control flow analysis for Beta-binders with and without static compartments
• A static analysis for beta-binders
• Computational Methods in Systems Biology
• BioAmbients: an abstraction for biological compartments
• Stochastic biological modelling in the presence of multiple compartments

Cited in

(10)

• BioAmbients: an abstraction for biological compartments
• A control flow analysis for Beta-binders with and without static compartments
• Verification of spatial and temporal modalities in biochemical systems
• A proof theoretic view of spatial and temporal dependencies in biochemical systems
• A static analysis for beta-binders
• The attributed pi-calculus with priorities
• A Projective Brane Calculus with Activate, Bud and Mate as Primitive Actions
• Modelling biological compartments in bio-PEPA
• Transactions on Computational Systems Biology III
• Process calculi for biological processes

This page was built for publication: Modeling Static Biological Compartments with Beta-binders

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