Communication via Mobile Vesicles in Brane Calculi

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2007.05.016 ◽

2007 ◽

Vol 171 (2) ◽

pp. 187-196 ◽

Author(s):

Antonio Vitale ◽

Giancarlo Mauri

Keyword(s):

Download Full-text

Simulation of a bounded symport/antiport P system with Brane calculi

10.1016/j.biosystems.2007.01.008 ◽

2008 ◽

Vol 91 (3) ◽

pp. 558-571 ◽

Author(s):

Antonio Vitale ◽

Giancarlo Mauri ◽

Claudio Zandron

Keyword(s):

P System ◽

Download Full-text

On the Computational Power of Brane Calculi

Transactions on Computational Systems Biology VI - Lecture Notes in Computer Science ◽

10.1007/11880646_2 ◽

2006 ◽

pp. 16-43 ◽

Author(s):

Nadia Busi ◽

Roberto Gorrieri

Keyword(s):

Computational Power ◽

Download Full-text

Control Flow Analysis for Brane Calculi

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2008.12.104 ◽

2009 ◽

Vol 227 ◽

pp. 59-75

Author(s):

Chiara Bodei ◽

Andrea Bracciali ◽

Davide Chiarugi

Keyword(s):

Flow Analysis ◽

Control Flow ◽

Brane Calculi ◽

Control Flow Analysis

Download Full-text

Brane Calculi

Computational Methods in Systems Biology - Lecture Notes in Computer Science ◽

10.1007/978-3-540-25974-9_24 ◽

2005 ◽

pp. 257-278 ◽

Author(s):

Luca Cardelli

Keyword(s):

Download Full-text

Membrane Computing and Brane Calculi (Some Personal Notes)

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2007.05.003 ◽

2007 ◽

Vol 171 (2) ◽

pp. 3-10 ◽

Author(s):

Gheorghe Păun

Keyword(s):

Membrane Computing ◽

Download Full-text

Membrane computing and brane calculi. Old, new, and future bridges

Theoretical Computer Science ◽

10.1016/j.tcs.2008.04.001 ◽

2008 ◽

Vol 404 (1-2) ◽

pp. 19-25 ◽

Author(s):

Gheorghe Păun

Keyword(s):

Membrane Computing ◽

Download Full-text

Modeling and Analysis of Biological Processes by Mem(Brane) Calculi and Systems

Proceedings of the 2006 Winter Simulation Conference ◽

10.1109/wsc.2006.322939 ◽

2006 ◽

Author(s):

Nadia Busi ◽

Claudio Zandron

Keyword(s):

Biological Processes ◽

Modeling And Analysis ◽

Download Full-text

Universality results for P systems based on brane calculi operations

Theoretical Computer Science ◽

10.1016/j.tcs.2006.10.016 ◽

2007 ◽

Vol 371 (1-2) ◽

pp. 83-105 ◽

Author(s):

Shankara Narayanan Krishna

Keyword(s):

P Systems ◽

Download Full-text

Expressiveness Issues in Brane Calculi: A Survey

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2008.04.006 ◽

2008 ◽

Vol 209 ◽

pp. 107-124 ◽

Author(s):

Nadia Busi

Keyword(s):

Download Full-text

Causal static analysis for Brane Calculi

Theoretical Computer Science ◽

10.1016/j.tcs.2015.03.014 ◽

2015 ◽

Vol 587 ◽

pp. 73-103 ◽

Author(s):

Chiara Bodei ◽

Roberta Gori ◽

Francesca Levi

Keyword(s):

Static Analysis ◽

Download Full-text