Zobrazeno 1 - 10
of 66
pro vyhledávání: '"Brane calculi"'
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:
Frisco, Pierluigi, author
Publikováno v:
Computing with Cells : Advances in Membrane Computing, 2009, ill.
Externí odkaz:
https://doi.org/10.1093/acprof:oso/9780199542864.003.0010
Publikováno v:
Scientific Annals of Computer Science, Vol XXIV, Iss 1, Pp 91-136 (2014)
The link-calculus has been recently proposed as a process calculus for representing interactions that are open (i.e., that the number of processes may vary), and multiparty (i.e., that may involve more than two processes). Here, we apply the link-cal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::83b89646fe42e3b673fbebae95c63b4f
http://www.info.uaic.ro/bin/download/Annals/XXIV1/XXIV1_2.pdf
http://www.info.uaic.ro/bin/download/Annals/XXIV1/XXIV1_2.pdf
Publikováno v:
Electronic Notes in Theoretical Computer Science. 227:59-75
We introduce a Control Flow Analysis for Brane Calculi. This verification technique allows properties regarding the behaviour of biological systems to be checked. This is an approximate technique that focusses on the static specification of a system,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f1f42bf7cb816ee873c9cf6655a1c60c
Autor:
Nadia Busi
Publikováno v:
Electronic Notes in Theoretical Computer Science. 209:107-124
Brane calculi are a family of biologically inspired process calculi proposed in [L. Cardelli. Brane Calculi - Interactions of biological membranes. In Proc. Computational Methods in System Biology 2004 (CMSB 2004), LNCS 3082, Springer, 2005] for mode
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::869005ff94e98c387e6e9b3d29b2aed1
Autor:
Marion Oswald, Rudolf Freund
Publikováno v:
Electronic Notes in Theoretical Computer Science. 171:105-115
We investigate tissue P systems with (non-restricted, symmetric) versions of mate and drip operations and prove that such systems are computationally complete with the minimal number of two cells when working on strings. Moreover, we consider the var
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::19e9b64747a519312123f5dca81eccdd
https://doi.org/10.1016/j.entcs.2007.05.011
https://doi.org/10.1016/j.entcs.2007.05.011
We present here a static analysis, based on Abstract Interpretation8], obtained by defining an abstract version of the causal semantics for the Mate/Bud/Drip (MBD) version of Brane Calculi 7], proposed by Busi 6]. Our analysis statically approximates
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a7dd805cc6ccb5951ccba5d09ce8db7c
http://hdl.handle.net/11568/750126
http://hdl.handle.net/11568/750126
Publikováno v:
Logic-Based Program Synthesis and Transformation ISBN: 9783319274355
LOPSTR
LOPSTR
We propose a polynomial static analysis for Brane Calculii¾ź[6], based on Abstract Interpretationi¾ź[8] techniques. The analysis provides a description of the possible hierarchical structure of membranes and of the processes possibly associated t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a90b52fcaa59af0ca98a3ea63ed9d6ec
https://hdl.handle.net/11568/758674
https://hdl.handle.net/11568/758674
Autor:
Igor Cappello, Paola Quaglia
Publikováno v:
Electronic Notes in Theoretical Computer Science. 229:109-125
A translation of Beta-binders in [email protected] is presented. Beta-binders is a bio-inspired formalism that allows the modelling of processes wrapped into boundaries. No notion of enclosing compartment can instead be found in [email protected], a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9b8a5077d0dec8bb01520b00fb1fa820
https://doi.org/10.1016/j.entcs.2009.02.008
https://doi.org/10.1016/j.entcs.2009.02.008
Autor:
Gheorghe Pun
Publikováno v:
Theoretical Computer Science. 404(1-2):19-25
After a short discussion about similarities and dissimilarities of membrane computing and brane calculi, insisting mainly on some recent ideas of bridging the two areas of research, one recalls some details concerning certain classes of P systems bas
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::563217c93233342b36246abd594ae2c2