Modeling Static Biological Compartments with Beta-binders
From MaRDI portal
Publication:5429370
DOI10.1007/978-3-540-73433-8_18zbMath1126.92002MaRDI QIDQ5429370
Maria Luisa Guerriero, Alessandro Romanel, Corrado Priami
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
Related Items
Modelling Biological Compartments in Bio-PEPA, 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, The Attributed Pi-Calculus with Priorities, A Projective Brane Calculus with Activate, Bud and Mate as Primitive Actions