A Global Occurrence Counting Analysis for Brane Calculi.
LOPSTR(2015)
摘要
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.
更多查看译文
关键词
Abstract State, Abstract Representation, Abstract Interpretation, Label Transition System, Process Label
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络