EPTCS 100 - MeCBIC 2012
Gabriel Ciobanu (Ed.): Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi. 2012 EPTCS 100 [ contents ]- Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg: Membrane Systems and Petri Net Synthesis. ... 1-13
- Margarita Antonaki, Anna Philippou: A Process Calculus for Spatially-explicit Ecological Models. ... 14-28
- Adrien Basso-Blandin, Franck Delaplace: GUBS, a behavior-based language for open system dedicated to synthetic biology. ... 29-47
- Erik P. de Vink, Hans Zantema, Dragan Bosnacki: Combining Insertion and Deletion in RNA-editing Preserves Regularity. ... 48-62
- Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo: Towards modular verification of pathways: fairness and assumptions. ... 63-81
- Marino Miculan, Ilaria Sambarino: Implementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine. ... 82-100
- Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini, Paola Giannini, Karin Sauer, Vishakha Sharma, Angelo Troina: Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions. ... 101-106
- Masahiro Hamano: RNA interference and Register Machines (extended abstract). ... 107-112
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team