A Global Occurrence Counting Analysis for Brane Calculi

DOI10.1007/978-3-319-27436-2_11MaRDI QIDQ5743592zbMATH OpenOpenAlexFDO

Authors Chiara Bodei, Linda Brodo, Roberta Gori, Diana Hermith, Francesca Levi

Publication date 5 February 2016

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/11568/758674

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Systems biology, networks (92C42)

Recommendations

• A static analysis for brane calculi providing global occurrence counting information
• Causal static analysis for brane calculi
• Control flow analysis for brane calculi
• Counting supersymmetric branes
• Expressiveness issues in brane calculi: a survey
• Universality results for P systems based on brane calculi operations
• CALCULATION OF INTER-BRANE POTENTIAL IN COMPACT SPACE
• A formalism to analyze the spectrum of brane world scenarios
• Branes and calibrated geometries

Cites work

• A control flow analysis for Beta-binders with and without static compartments
• Abstract interpretation based verification of temporal properties for BioAmbients
• Abstract interpretation of mobile ambients.
• Abstract interpretation of mobile systems
• 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
• Causal static analysis for brane calculi
• Communication via mobile vesicles in brane calculi
• Computational Methods in Systems Biology
• scientific article; zbMATH DE number 1617321 (Why is no real title available?)
• scientific article; zbMATH DE number 3610766 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1832232 (Why is no real title available?)
• Mobile ambients
• Occurrence counting analysis for the pi-calculus
• On abstract interpretation of mobile ambients
• Pathway analysis for BioAmbients
• Programming Languages and Systems
• Shape analysis for mobile ambients
• Static Analysis

Cited in

(7)

• A formal approach to open multiparty interactions
• Causal static analysis for brane calculi
• A static analysis for brane calculi providing global occurrence counting information
• An analysis for causal properties of membrane interactions
• Control flow analysis for brane calculi
• Programming Languages and Systems
• Process calculi for biological processes

This page was built for publication: A Global Occurrence Counting Analysis for Brane Calculi

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