default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 431
Volume 431, May 2012
- Grzegorz Rozenberg:
Preface. 1 - Gabriel Ciobanu
, Maciej Koutny:
Modelling and analysis of biological systems: - Based on papers presented at the Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC) held in 2008 (Iasi), 2009 (Bologna) and 2010 (Jena). 2-3
- Gheorghe Paun, Mario J. Pérez-Jiménez:
An infinite hierarchy of languages defined by dP systems. 4-12 - G. Michele Pinna, Andrea Saba:
Modeling dependencies and simultaneity in membrane system computations. 13-39 - Luca Cardelli, Philippa Gardner:
Processes in space. 40-55 - Giorgio Delzanno, Gianluigi Zavattaro:
Reachability problems in BioAmbients. 56-74 - Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Eva Sciacca, Salvatore Spinella, Angelo Troina:
Simulation techniques for the calculus of wrapped compartments. 75-95 - Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini:
Foundational aspects of multiscale modeling of biological systems with process algebras. 96-116 - Giorgio Bacci, Marino Miculan:
Measurable stochastics for Brane Calculus. 117-136 - Jérôme Feret, Thomas A. Henzinger, Heinz Koeppl, Tatjana Petrov:
Lumpability abstractions of rule-based systems. 137-164 - Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina:
Typed stochastic semantics for the calculus of looping sequences. 165-180 - Matthew R. Lakin, Loïc Paulevé, Andrew Phillips:
Stochastic simulation of multiple process calculi for biology. 181-206 - Richard Banks, L. Jason Steggles:
An abstraction theory for qualitative models of biological systems. 207-218 - Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau:
Integrated regulatory networks (IRNs): Spatially organized biochemical modules. 219-234
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.
last updated on 2025-01-13 01:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
