Pathway analysis for BioAmbients

DOI10.1016/J.JLAP.2008.05.006MaRDI QIDQ953532zbMATH OpenOpenAlexWikidataFDO

Authors Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson

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

systems biologystatic analysisprocess calculuspathway analysisdata flow analysiscontrol flow analysisBioAmbientsflow logicLDL degradation pathwaymonotone frameworks

Mathematics Subject Classification ID

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)

Recommendations

• Formal methods for biochemical signalling pathways
• Modelling biochemical pathways through enhanced -calculus
• Programming Languages and Systems
• Static Analysis
• scientific article; zbMATH DE number 2182436

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1231615 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1324833 (Why is no real title available?)
• scientific article; zbMATH DE number 1950545 (Why is no real title available?)
• scientific article; zbMATH DE number 1950559 (Why is no real title available?)
• scientific article; zbMATH DE number 1953280 (Why is no real title available?)
• scientific article; zbMATH DE number 1956561 (Why is no real title available?)
• scientific article; zbMATH DE number 2143089 (Why is no real title available?)
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• BioAmbients: an abstraction for biological compartments
• Brane Calculi
• Computational Methods in Systems Biology
• Computational Methods in Systems Biology
• Data Flow Analysis for CCS
• Formal molecular biology
• Life: An introduction to complex systems biology
• Mobile ambients
• Pathway analysis for BioAmbients
• Static Analysis
• The anatomy of a loop: a story of scope and control
• The chemical abstract machine
• Tools and Algorithms for the Construction and Analysis of Systems
• Transactions on Computational Systems Biology IV
• What is a free name in a process algebra?

Cited in

(13)

• Pathway analysis for BioAmbients
• A calculus of quality for robustness against unreliable communication
• An analysis for causal properties of membrane interactions
• A monotone framework for CCS
• Approximating probabilistic behaviors of biological systems using abstract interpretation
• Control flow analysis for brane calculi
• Abstract interpretation based verification of temporal properties for BioAmbients
• A Global Occurrence Counting Analysis for Brane Calculi
• Static analysis of IMC
• Identification of components in biochemical pathways: extensive aqpplication to SBML models
• Causal static analysis for brane calculi
• Formal methods for biochemical signalling pathways
• A static analysis for brane calculi providing global occurrence counting information

Describes a project that uses

Uses Software

• Succinct
• SpiCO
• PEPA

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)