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
Works matching IS 00015903 AND DT 2015 AND VI 52 AND IP 1
Results: 5
1
2
Letter from the Managing Editor.
- Published in:
- 2015
- By:
- Publication type:
- Editorial
3
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
4
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
5
Special issue on 'Combining Compositionality and Concurrency': part 1.
- Published in:
- 2015
- By:
- Publication type:
- Editorial