Electronic Notes in Theoretical Computer Science, Volume 229

Volume 229, Number 1, February 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