Causality in Membrane Systems

Cached

Download Links

by Nadia Busi
Citations:6 - 0 self

Active Bibliography

2 Towards a causal semantics for Brane Calculi – Nadia Busi - 2007
24 Models for Name-Passing Processes: Interleaving and Causal – Gian Luca Cattani, Peter Sewell - 2000
7 The Calculus of Looping Sequences – Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Giovanni Pardini
Computationally universal Psystems without – Rudolf Freund A, Lila Kari B, Marion Oswald A, Petr Sosík B - 2004
MODELING AND ANALYSIS OF BIOLOGICAL PROCESSES BY MEM(BRANE) CALCULI AND SYSTEMS – R. M. Fujimoto, Nadia Busi, Claudio Zandron
3 A Formal Framework for P Systems – Rudolf Freund, Sergey Verlan, Département Informatique
9 Bio-Steps Beyond Turing – Cristian S. Calude, Gheorghe Păun - 2004
1 Concurrency Can’t Be Observed, Asynchronously – Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
Under consideration for publication in Math. Struct. in Comp. Science Concurrency Can’t Be Observed, Asynchronously † – Paolo Baldan, Fabio Gadducci, Giacoma Valentina Monreale - 2012
P Systems with Endosomes – R. Barbuti, G. Caravagna, A. Maggiolo-schettini, P. Milazzo - 1900
8 On the computational power of brane calculi – Nadia Busi, Roberto Gorrieri - 2005
Formal Verification and Testing Based on P Systems – Marian Gheorghe, Florentin Ipate, Ciprian Dragomir
7 The Calculus of Looping Sequences for Modeling Biological Membranes – Roberto Barbuti, Paolo Milazzo, Angelo Troina - 2007
A Cloud based P Systems Algorithm – Eamd Nabil, Hala Hameed, Amr Badr
7 A Membrane Algorithm for the Min Storage Problem – Alberto Leporati, Dario Pagani
13 On the computational power of spiking neural P systems – Alberto Leporati, Claudio Z, Claudio Ferretti, Giancarlo Mauri
2 On the Computational Efficiency of Polarizationless Recognizer P Systems with Strong Division and Dissolution – Claudio Zandron, Alberto Leporati, Claudio Ferretti, Giancarlo Mauri, Mario J. Pérez-Jiménez
7 Zandron: Simulating the Fredkin Gate with Energy–based P Systems, in the present volume – Alberto Leporati, Claudio Zandron, Giancarlo Mauri
6 A Causal Semantics for CCS via Rewriting Logic – Pierpaolo Degano, Fabio Gadducci, Corrado Priami - 2000