![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
2nd FBTC@ICALP 2008: Reykjavik, Iceland
- Nicola Cannata, Emanuela Merelli, Irek Ulidowski:
Proceedings of the Second Workshop From Biology to Concurrency and Back, FBTC@ICALP 2008, Reykjavik, Iceland, July 12, 2008. Electronic Notes in Theoretical Computer Science 229(1), Elsevier 2009 - Nicola Cannata, Emanuela Merelli
, Irek Ulidowski
:
Preface. 1-2 - Paolo Ballarini
, Radu Mardare, Ivan Mura
:
Analysing Biochemical Oscillation through Probabilistic Model Checking. 3-19 - Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
:
Spatial Calculus of Looping Sequences. 21-39 - Ezio Bartocci
, Flavio Corradini, Emanuela Merelli
, Luca Tesei
:
Model Checking Biological Oscillators. 41-58 - Soufiene Benkirane, Jane Hillston, Chris McCaig, Rachel Norman
, Carron Shankland
:
Improved Continuous Approximation of PEPA Models through Epidemiological Examples. 59-74 - Luca Bortolussi
, Alberto Policriti:
The Importance of Being (A Little Bit) Discrete. 75-92 - Dario Campagna, Carla Piazza
:
Hybrid Automata in Systems Biology: How Far Can We Go? 93-108 - Igor Cappello, Paola Quaglia
:
A Translation of Beta-binders in a Prioritized Pi-calculus. 109-125 - Luca Cardelli
, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips:
A Process Model of Actin Polymerisation. 127-144 - Federica Ciocchetta, Andrea Degasperi
, Jane Hillston, Muffy Calder
:
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA. 145-163 - Alessio Coletta
, Roberta Gori, Francesca Levi:
Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation. 165-182
![](https://dblp.uni-trier.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.