Electronic Notes in Theoretical Computer Science, Volume 227

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