Ausgabe 2-3/2015
Special Issue: Comprehending Asynchrony in Specification and Analysis
Inhalt (8 Artikel)
Editorial
Special issue on “Comprehending asynchrony in specification and analysis” dedicated to Walter Vogler on the occasion of his 60th birthday
Gerald Lüttgen, Flavio Corradini
Original Article
On constructibility and unconstructibility of LTS operators from other LTS operators
Antti Valmari
Original Article
Moving from interface theories to assembly theories
Rolf Hennicker, Alexander Knapp
Original Article
Refinement checking on parametric modal transition systems
Nikola Beneš, Jan Křetínský, Kim G. Larsen, Mikael H. Møller, Salomon Sickert, Jiří Srba