


default search action
2nd MeCBIC 2008: Iaşi, Romania
- Gabriel Ciobanu:
Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2008, Iaşi, Romania, September 3-4, 2008. Electronic Notes in Theoretical Computer Science 227, Elsevier 2009 - Gabriel Ciobanu
:
Preface. 1-2 - Richard Banks, Victor Khomenko, L. Jason Steggles:
A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks. 3-19 - Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei
:
Timed P Automata. 21-36 - Thomas Anung Basuki
, Antonio Cerone, Paolo Milazzo:
Translating Stochastic CLS into Maude. 37-58 - Chiara Bodei
, Andrea Bracciali
, Davide Chiarugi
:
Control Flow Analysis for Brane Calculi. 59-75 - Federica Ciocchetta, Maria Luisa Guerriero:
Modelling Biological Compartments in Bio-PEPA. 77-95 - Bogdan Aman
, Mariangiola Dezani-Ciancaglini
, Angelo Troina:
Type Disciplines for Analysing Biologically Relevant Properties. 97-111 - Florentin Ipate, Marian Gheorghe
:
Testing Non-deterministic Stream X-machine Models and P systems. 113-126 - Tommaso Mazza
, Matteo Cavaliere
:
Cell Cycle and Tumor Growth in Membrane Systems with Peripheral Proteins. 127-141 - Andrew Phillips:
An Abstract Machine for the Stochastic Bioambient calculus. 143-159 - Filippo Del Tedesco, Carla Piazza
:
External Control in Process Algebra for Systems Biology. 161-177 - Gianluigi Zavattaro:
Reachability Analysis in BioAmbients. 179-193

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.