Pathway analysis for BioAmbients

DOI10.1016/J.JLAP.2008.05.006zbMath1147.92002OpenAlexW1980209984WikidataQ59416347 ScholiaQ59416347MaRDI QIDQ953532

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

zbMATH Keywords

static analysissystems biologyprocess calculuspathway analysisdata flow analysiscontrol flow analysisBioAmbientsflow logicLDL degradation pathwaymonotone frameworks

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) General biology and biomathematics (92B05) Systems biology, networks (92C42)

Related Items (11)

An analysis for causal properties of membrane interactions ⋮ A static analysis for brane calculi providing global occurrence counting information ⋮ Static analysis of IMC ⋮ A calculus of quality for robustness against unreliable communication ⋮ Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation ⋮ A monotone framework for CCS ⋮ Pathway analysis for BioAmbients ⋮ A Global Occurrence Counting Analysis for Brane Calculi ⋮ Control Flow Analysis for Brane Calculi ⋮ Abstract interpretation based verification of temporal properties for BioAmbients ⋮ Causal static analysis for brane calculi

Uses Software

• Succinct
• SpiCO
• PEPA

Cites Work

• Pathway analysis for BioAmbients
• The chemical abstract machine
• Mobile ambients
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• Formal molecular biology
• BioAmbients: an abstraction for biological compartments
• What is a free name in a process algebra?
• Life: An introduction to complex systems biology
• The anatomy of a loop
• Data Flow Analysis for CCS
• Tools and Algorithms for the Construction and Analysis of Systems
• Static Analysis
• Computational Methods in Systems Biology
• Brane Calculi
• Computational Methods in Systems Biology
• Transactions on Computational Systems Biology IV
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Pathway analysis for BioAmbients