1. Algebraic reasoning for probabilistic action systems and while-loops

   • Larissa Meinicke
   • Ian J. Hayes

   Original article 07 May 2008 Pages: 321 - 382

2. The fibers and range of reduction graphs in ciliates

   • Robert Brijder
   • Hendrik Jan Hoogeboom

   Original article 28 May 2008 Pages: 383 - 402