Electronic Notes in Theoretical Computer Science, Volume 229

Volume 229, Number 1, February 2009

• Nicola Cannata, Emanuela Merelli, Irek Ulidowski:
  Preface. 1-2
  Electronic Edition (link) BibTeX
• Paolo Ballarini, Radu Mardare, Ivan Mura:
  Analysing Biochemical Oscillation through Probabilistic Model Checking. 3-19
  Electronic Edition (link) BibTeX
• Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini:
  Spatial Calculus of Looping Sequences. 21-39
  Electronic Edition (link) BibTeX
• Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei:
  Model Checking Biological Oscillators. 41-58
  Electronic Edition (link) BibTeX
• Soufiene Benkirane, Jane Hillston, Chris McCaig, Rachel Norman, Carron Shankland:
  Improved Continuous Approximation of PEPA Models through Epidemiological Examples. 59-74
  Electronic Edition (link) BibTeX
• Luca Bortolussi, Alberto Policriti:
  The Importance of Being (A Little Bit) Discrete. 75-92
  Electronic Edition (link) BibTeX
• Dario Campagna, Carla Piazza:
  Hybrid Automata in Systems Biology: How Far Can We Go? 93-108
  Electronic Edition (link) BibTeX
• Igor Cappello, Paola Quaglia:
  A Translation of Beta-binders in a Prioritized Pi-calculus. 109-125
  Electronic Edition (link) BibTeX
• Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips:
  A Process Model of Actin Polymerisation. 127-144
  Electronic Edition (link) BibTeX
• Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder:
  Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA. 145-163
  Electronic Edition (link) BibTeX
• Alessio Coletta, Roberta Gori, Francesca Levi:
  Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation. 165-182
  Electronic Edition (link) BibTeX