Causal static analysis for brane calculi

DOI10.1016/j.tcs.2015.03.014zbMath1327.68099OpenAlexW2090621806MaRDI QIDQ2348028

Roberta Gori, Chiara Bodei, 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

causalityabstract interpretationbrane calculi

Mathematics Subject Classification ID

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

Related Items

Predictors for flat membrane systems ⋮ Characterization and computation of ancestors in reaction systems ⋮ A static analysis for brane calculi providing global occurrence counting information ⋮ Process calculi for biological processes ⋮ Computing preimages and ancestors in reaction systems ⋮ Applications of P Systems in Population Biology and Ecology: The Cases of MPP and APP Systems ⋮ A formal approach to open multiparty interactions ⋮ Generalized contexts for reaction systems: definition and study of dynamic causalities ⋮ Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks ⋮ A Global Occurrence Counting Analysis for Brane Calculi

Cites Work

• Unnamed Item
• Unnamed Item
• An analysis for causal properties of membrane interactions
• Pathway analysis for BioAmbients
• A simple calculus for proteins and cells
• Abstract interpretation based verification of temporal properties for BioAmbients
• A calculus of mobile processes. II
• Non-interleaving semantics for mobile processes
• BioAmbients: an abstraction for biological compartments
• A control flow analysis for Beta-binders with and without static compartments
• A fully abstract semantics for causality in the π-calculus
• An Analysis for Proving Temporal Properties of Biological Systems
• Static Analysis
• Programming Languages and Systems
• Brane Calculi
• Computational Methods in Systems Biology