Abstract interpretation based verification of temporal properties for BioAmbients-Reference-Cited by-同舟云学术

Abstract interpretation based verification of temporal properties for BioAmbients

Published:2010-08 Issue:8 Volume:208 Page:869-921
ISSN:0890-5401
Container-title:Information and Computation
language:en
Short-container-title:Information and Computation

Author:

Gori Roberta,Levi Francesca

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science

Reference44 articles.

1. R. Barbuti, S. Cataudella, A. Maggiolo-Schettini, P. Milazzo, A. Troina, A probabilistic calculus for molecular systems, in: Proceeding of the Workshop CS & P, vols. 202–216, Informatik Berichte 170, Humboldt University Press, 2004.

2. L. Cardelli, Interactions of biological membranes, in: Proceedings of the CMSB’04, LNCS, vol. 3089, 2004, pp. 257–278.

3. Bitonal membrane systems: interactions of biological membranes;Cardelli;Theoretical Computer Science,2008

4. A spatial logic for concurrency (Part I);Caires;Information and Computation,2003

5. A spatial logic for concurrency (Part II);Caires;Theoretical Computer Science,2004

Cited by 17 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Causal analysis of positive Reaction Systems;International Journal on Software Tools for Technology Transfer;2024-06-19

2. Process Algebras in Systems Biology;Systems Biology Modelling and Analysis;2022-11-18

3. Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks;Fundamenta Informaticae;2021-03-10

4. Characterization and computation of ancestors in reaction systems;Soft Computing;2020-09-07

5. Studying Opacity of Reaction Systems through Formula Based Predictors*;Fundamenta Informaticae;2019-03-14