Results: 5
Revisiting causality, coalgebraically.
- Published in:
- Acta Informatica, 2015, v. 52, n. 1, p. 5, doi. 10.1007/s00236-014-0207-9
- By:
- Publication type:
- Article
Synthesis and reengineering of persistent systems.
- Published in:
- Acta Informatica, 2015, v. 52, n. 1, p. 35, doi. 10.1007/s00236-014-0209-7
- By:
- Publication type:
- Article
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes.
- Published in:
- Acta Informatica, 2015, v. 52, n. 1, p. 61, doi. 10.1007/s00236-014-0210-1
- By:
- Publication type:
- Article
Special issue on 'Combining Compositionality and Concurrency': part 1.
- Published in:
- 2015
- By:
- Publication type:
- Editorial
Letter from the Managing Editor.
- Published in:
- 2015
- By:
- Publication type:
- Editorial