Ausgabe 4-5/2015
Special Issue: Combining Compositionality and Concurrency: Part 2
Inhalt (6 Artikel)
Editorial
Special issue on “Combining Compositionality and Concurrency”: part 2
Rob J. van Glabbeek, Ursula Goltz, Ernst-Rüdiger Olderog
Original Article
Richer interface automata with optimistic and pessimistic compatibility
Gerald Lüttgen, Walter Vogler, Sascha Fendrich
Original Article
Compositional verification of asynchronous concurrent systems using CADP
Hubert Garavel, Frédéric Lang, Radu Mateescu
Original Article
Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
Joaquín Aguado, Michael Mendler, Reinhard von Hanxleden, Insa Fuhrmann
Original Article
Compositional construction of most general controllers
Joachim Klein, Christel Baier, Sascha Klüppelholz