Skip to main content
main-content

Zeitschrift

Acta Informatica

Acta Informatica 4-5/2015

Ausgabe 4-5/2015

Special Issue: Combining Compositionality and Concurrency: Part 2

Inhaltsverzeichnis ( 6 Artikel )

01.06.2015 | Obituary | Ausgabe 4-5/2015

A life dedicated to informatics: an obituary for Prof. Friedrich L. Bauer

Manfred Broy

01.06.2015 | Editorial | Ausgabe 4-5/2015

Special issue on “Combining Compositionality and Concurrency”: part 2

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

01.06.2015 | Original Article | Ausgabe 4-5/2015

Richer interface automata with optimistic and pessimistic compatibility

Gerald Lüttgen, Walter Vogler, Sascha Fendrich

01.06.2015 | Original Article | Ausgabe 4-5/2015

Compositional verification of asynchronous concurrent systems using CADP

Hubert Garavel, Frédéric Lang, Radu Mateescu

01.06.2015 | Original Article | Ausgabe 4-5/2015

Denotational fixed-point semantics for constructive scheduling of synchronous concurrency

Joaquín Aguado, Michael Mendler, Reinhard von Hanxleden, Insa Fuhrmann

01.06.2015 | Original Article | Ausgabe 4-5/2015

Compositional construction of most general controllers

Joachim Klein, Christel Baier, Sascha Klüppelholz

Aktuelle Ausgaben

Premium Partner