Volume 52, Issue 1 | Acta Informatica

Search all Acta Informatica articles

Volume 52, Issue 1

February 2015

Special issue: Combining Compositionality and Concurrency: Part 1

Issue Editors:

Rob J. van Glabbeek,
Ursula Goltz,
Ernst-Rüdiger Olderog

5 articles in this issue

Letter from the Managing Editor
Ernst-Rüdiger Olderog
Editorial 09 December 2014 Pages: 1 - 2
Special issue on “Combining Compositionality and Concurrency”: part 1
Rob J. van Glabbeek
Ursula Goltz
Ernst-Rüdiger Olderog
Editorial 30 December 2014 Pages: 3 - 4
Revisiting causality, coalgebraically
Roberto Bruni
Ugo Montanari
Matteo Sammartino
Original Article 24 October 2014 Pages: 5 - 33
Synthesis and reengineering of persistent systems
Eike Best
Raymond Devillers
Original Article 29 November 2014 Pages: 35 - 60
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes
Marco Bernardo
Rocco De Nicola
Michele Loreti
Original Article 30 November 2014 Pages: 61 - 106