A static analysis for brane calculi providing global occurrence counting information
From MaRDI portal
Publication:2405890
DOI10.1016/j.tcs.2017.07.008zbMath1383.92032OpenAlexW2738758413MaRDI QIDQ2405890
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
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