A static analysis for brane calculi providing global occurrence counting information

DOI10.1016/j.tcs.2017.07.008zbMath1383.92032OpenAlexW2738758413MaRDI QIDQ2405890

Yanyan Li

Publication date: 28 September 2017

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

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

zbMATH Keywords

static analysisabstract interpretationbrane calculioccurrence counting

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Systems biology, networks (92C42)

Related Items

Slicing concurrent constraint programs, Process calculi for biological processes, A formal approach to open multiparty interactions, Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks, A process algebraic approach to reaction systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Investigating dynamic causalities in reaction systems
• An analysis for causal properties of membrane interactions
• Pathway analysis for BioAmbients
• Abstract interpretation based verification of temporal properties for BioAmbients
• Abstract interpretation of mobile ambients.
• Mobile ambients
• Abstract interpretation of mobile systems
• BioAmbients: an abstraction for biological compartments
• On abstract interpretation of mobile ambients
• A control flow analysis for Beta-binders with and without static compartments
• Causal static analysis for brane calculi
• Communication via Mobile Vesicles in Brane Calculi
• Specialized Predictor for Reaction Systems with Context Properties
• Shape analysis for mobile ambients
• An Analysis for Proving Temporal Properties of Biological Systems
• Static Analysis
• Programming Languages and Systems
• Brane Calculi
• Computational Methods in Systems Biology
• A Global Occurrence Counting Analysis for Brane Calculi