![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Theoretical 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.