Pathway analysis for BioAmbients
DOI10.1016/J.JLAP.2008.05.006zbMATH Open1147.92002OpenAlexW1980209984WikidataQ59416347 ScholiaQ59416347MaRDI QIDQ953532FDOQ953532
Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard
Publication date: 6 November 2008
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2008.05.006
Recommendations
systems biologystatic analysisprocess calculuspathway analysisdata flow analysiscontrol flow analysisBioAmbientsflow logicLDL degradation pathwaymonotone frameworks
Systems biology, networks (92C42) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) General biology and biomathematics (92B05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Formal molecular biology
- BioAmbients: an abstraction for biological compartments
- Title not available (Why is that?)
- Title not available (Why is that?)
- Brane Calculi
- The chemical abstract machine
- Title not available (Why is that?)
- Static Analysis
- Computational Methods in Systems Biology
- Transactions on Computational Systems Biology IV
- Pathway analysis for BioAmbients
- Mobile ambients
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- Life: An introduction to complex systems biology
- Title not available (Why is that?)
- Title not available (Why is that?)
- Data Flow Analysis for CCS
- The anatomy of a loop
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Tools and Algorithms for the Construction and Analysis of Systems
- What is a free name in a process algebra?
- Title not available (Why is that?)
- Computational Methods in Systems Biology
Cited In (11)
- Control Flow Analysis for Brane Calculi
- An analysis for causal properties of membrane interactions
- A static analysis for brane calculi providing global occurrence counting information
- Pathway analysis for BioAmbients
- Abstract interpretation based verification of temporal properties for BioAmbients
- Static analysis of IMC
- Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation
- Causal static analysis for brane calculi
- A calculus of quality for robustness against unreliable communication
- A Global Occurrence Counting Analysis for Brane Calculi
- A monotone framework for CCS
Uses Software
This page was built for publication: Pathway analysis for BioAmbients
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q953532)
