Volume 52, Issue 4-5

June 2015

Special Issue: Combining Compositionality and Concurrency: Part 2

Issue Editors:

6 articles in this issue

A life dedicated to informatics: an obituary for Prof. Friedrich L. Bauer
Manfred Broy
Obituary 23 May 2015 Pages: 299 - 301
Special issue on “Combining Compositionality and Concurrency”: part 2
Rob J. van Glabbeek
Ursula Goltz
Ernst-Rüdiger Olderog
Editorial 16 May 2015 Pages: 303 - 304
Richer interface automata with optimistic and pessimistic compatibility
Gerald Lüttgen
Walter Vogler
Sascha Fendrich
Original Article 12 December 2014 Pages: 305 - 336
Compositional verification of asynchronous concurrent systems using CADP
Hubert Garavel
Frédéric Lang
Radu Mateescu
Original Article 22 April 2015 Pages: 337 - 392
Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
Joaquín Aguado
Michael Mendler
Insa Fuhrmann
Original Article 22 May 2015 Pages: 393 - 442
Compositional construction of most general controllers
Joachim Klein
Christel Baier
Sascha Klüppelholz
Original Article 15 May 2015 Pages: 443 - 482

Search