A Global Occurrence Counting Analysis for Brane Calculi
File version
Accepted Manuscript (AM)
Author(s)
Brodo, Linda
Gori, Roberta
Hermith, Diana
Levi, Francesca
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Falaschi, M
Date
Size
File type(s)
Location
Siena, Italy
License
Abstract
We propose a polynomial static analysis for Brane Calculi [6], based on Abstract Interpretation [8] techniques. The analysis provides a description of the possible hierarchical structure of membranes and of the processes possibly associated to each membrane, together with global occurrence counting information. Our analysis can be applied in the biological setting to investigate systems in which the information on the number of membranes occurring in the system plays a crucial role.
Journal Title
Conference Title
LOPSTR 2015: Logic-Based Program Synthesis and Transformation
Book Title
Edition
Volume
9527
Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
© 2015 Springer. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. The original publication is available at www.springerlink.com
Item Access Status
Note
Access the data
Related item(s)
Subject
Information and computing sciences
Science & Technology
Technology
Computer Science, Software Engineering
Computer Science, Theory & Methods
Logic
Persistent link to this record
Citation
Bodei, C; Brodo, L; Gori, R; Hermith, D; Levi, F, A Global Occurrence Counting Analysis for Brane Calculi, LOPSTR 2015: Logic-Based Program Synthesis and Transformation, 2015, 9527, pp. 179-200