EPTCS 40 - MeCBIC 2010
Gabriel Ciobanu, Maciej Koutny (Eds.): Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010. 2010 EPTCS 40 [ contents ]
Andrew Phillips, Matthew R. Lakin, Loïc Paulevé: Stochastic Simulation of Process Calculi for Biology. ... 1-5
Richard Banks, L. Jason Steggles: An Abstraction Theory for Qualitative Models of Biological Systems. ... 23-38
Yifei Bao, Adriana B. Compagnoni, Joseph Glavy, Tommy White: Computational Modeling for the Activation Cycle of G-proteins by G-protein-coupled Receptors. ... 39-53
Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Andrea Maggiolo-Schettini, Simone Tini: Aspects of multiscale modelling in a process algebra for biological systems. ... 54-69
Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei: Multiscale Bone Remodelling with Spatial P Systems. ... 70-84
Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Eva Sciacca, Salvatore Spinella, Angelo Troina: Hybrid Calculus of Wrapped Compartments. ... 102-120
Michael J. Dinneen, Yun-Bum Kim, Radu Nicolescu: Edge- and Node-Disjoint Paths in P Systems. ... 121-141
Jérôme Feret, Thomas A. Henzinger, Heinz Koeppl, Tatjana Petrov: Lumpability Abstractions of Rule-based Systems. ... 142-161
Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau: Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections. ... 162-177



