Causal static analysis for brane calculi

DOI10.1016/J.TCS.2015.03.014MaRDI QIDQ2348028zbMATH OpenOpenAlexFDO

Authors Chiara Bodei, Roberta Gori, Francesca Levi

Publication date 10 June 2015

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2015.03.014

zbMATH Keywords

abstract interpretationbrane calculicausality

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Physiology (general) (92C30)

Recommendations

• An analysis for causal properties of membrane interactions
• A static analysis for brane calculi providing global occurrence counting information
• A Global Occurrence Counting Analysis for Brane Calculi
• Control flow analysis for brane calculi
• A static analysis for beta-binders

Cites work

• A calculus of mobile processes. II
• A control flow analysis for Beta-binders with and without static compartments
• A fully abstract semantics for causality in the π-calculus
• A simple calculus for proteins and cells
• Abstract interpretation based verification of temporal properties for BioAmbients
• An analysis for causal properties of membrane interactions
• An Analysis for Proving Temporal Properties of Biological Systems
• BioAmbients: an abstraction for biological compartments
• Brane Calculi
• Computational Methods in Systems Biology
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1950547 (Why is no real title available?)
• Non-interleaving semantics for mobile processes
• Pathway analysis for BioAmbients
• Programming Languages and Systems
• Static Analysis

Cited in

(12)

• Predictors for flat membrane systems
• A formal approach to open multiparty interactions
• Generalized contexts for reaction systems: definition and study of dynamic causalities
• Characterization and computation of ancestors in reaction systems
• A static analysis for brane calculi providing global occurrence counting information
• An analysis for causal properties of membrane interactions
• Applications of P systems in population biology and ecology: the cases of MPP and APP systems
• Encoding threshold Boolean networks into reaction systems for the analysis of gene regulatory networks
• Control flow analysis for brane calculi
• A Global Occurrence Counting Analysis for Brane Calculi
• Process calculi for biological processes
• Computing preimages and ancestors in reaction systems

This page was built for publication: Causal static analysis for brane calculi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2348028)