Volume 227,
January 2009
- Gabriel Ciobanu:
Preface.
1-2
- Richard Banks, Victor Khomenko, L. Jason Steggles:
A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks.
3-19
- Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei:
Timed P Automata.
21-36
- Thomas Anung Basuki, Antonio Cerone, Paolo Milazzo:
Translating Stochastic CLS into Maude.
37-58
- Chiara Bodei, Andrea Bracciali, Davide Chiarugi:
Control Flow Analysis for Brane Calculi.
59-75
- Federica Ciocchetta, Maria Luisa Guerriero:
Modelling Biological Compartments in Bio-PEPA.
77-95
- Bogdan Aman, Mariangiola Dezani-Ciancaglini, Angelo Troina:
Type Disciplines for Analysing Biologically Relevant Properties.
97-111
- Florentin Ipate, Marian Gheorghe:
Testing Non-deterministic Stream X-machine Models and P systems.
113-126
- Tommaso Mazza, Matteo Cavaliere:
Cell Cycle and Tumor Growth in Membrane Systems with Peripheral Proteins.
127-141
- Andrew Phillips:
An Abstract Machine for the Stochastic Bioambient calculus.
143-159
- Filippo Del Tedesco, Carla Piazza:
External Control in Process Algebra for Systems Biology.
161-177
- Gianluigi Zavattaro:
Reachability Analysis in BioAmbients.
179-193
Copyright © Sun Nov 15 05:36:55 2009
by Michael Ley (ley@uni-trier.de)
