A Global Occurrence Counting Analysis for Brane Calculi
From MaRDI portal
Publication:5743592
DOI10.1007/978-3-319-27436-2_11zbMath1417.68118OpenAlexW2296458426MaRDI QIDQ5743592
Chiara Bodei, Francesca Levi, Roberta Gori, Diana Hermith, Linda Brodo
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
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Systems biology, networks (92C42)
Related Items (4)
A static analysis for brane calculi providing global occurrence counting information ⋮ Slicing concurrent constraint programs ⋮ Process calculi for biological processes ⋮ A formal approach to open multiparty interactions
Cites Work
- 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
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A Global Occurrence Counting Analysis for Brane Calculi