The fibers and range of reduction graphs in ciliates.Published in:Acta Informatica, 2008, v. 45, n. 5, p. 383, doi. 10.1007/s00236-008-0074-3By:Brijder, Robert;Hoogeboom, HendrikPublication type:Article
Algebraic reasoning for probabilistic action systems and while-loops.Published in:Acta Informatica, 2008, v. 45, n. 5, p. 321, doi. 10.1007/s00236-008-0073-4By:Meinicke, Larissa;Hayes, IanPublication type:Article