Algebraic reasoning for probabilistic action systems and while-loops Larissa MeinickeIan J. Hayes Original article 07 May 2008 Pages: 321 - 382
The fibers and range of reduction graphs in ciliates Robert BrijderHendrik Jan Hoogeboom Original article 28 May 2008 Pages: 383 - 402