A control flow analysis for Beta-binders with and without static compartments
From MaRDI portal
Publication:2271446
DOI10.1016/j.tcs.2008.09.036zbMath1173.68039MaRDI QIDQ2271446
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
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
92B05: General biology and biomathematics
Related Items
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