Zobrazeno 1 - 10
of 412
pro vyhledávání: '"Brane calculi"'
Publikováno v:
In Theoretical Computer Science 5 October 2017 696:11-51
Autor:
Bodei, Chiara, Brodo, Linda
We improve the precision of a previous Control Flow Analysis for Brane Calculi, by adding information on the context and introducing causality information on the membranes. This allows us to prove some biological properties on the behaviour of system
Externí odkaz:
http://arxiv.org/abs/1108.3429
Publikováno v:
In Theoretical Computer Science 4 July 2015 587:73-103
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Electronic Notes in Theoretical Computer Science 4 January 2009 227:59-75
Publikováno v:
Theoretical Computer Science. 696:11-51
In this paper we propose a static analysis for Brane Calculi [1] , based on Abstract Interpretation [2] techniques. Our analysis statically approximates the dynamic behaviour of Brane systems, by providing a description of the possible hierarchical s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b64f9d6d2d76d1c1064d1d21762c8670
https://doi.org/10.1016/j.tcs.2017.07.008
https://doi.org/10.1016/j.tcs.2017.07.008
Autor:
Busi, Nadia
Publikováno v:
In Electronic Notes in Theoretical Computer Science 24 April 2008 209:107-124
Publikováno v:
In BioSystems 2008 91(3):558-571
Autor:
Vitale, Antonio, Mauri, Giancarlo
Publikováno v:
In Electronic Notes in Theoretical Computer Science 5 July 2007 171(2):187-196