Results: 2
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-3
- By:
- Publication 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-4
- By:
- Publication type:
- Article