Volume 52, Issue 2-3

April 2015

Special Issue: Comprehending Asynchrony in Specification and Analysis

Issue Editors:

8 articles in this issue

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
Editorial 19 March 2015 Pages: 107 - 108
Modal algebra and Petri nets
Han-Hing Dang
Bernhard Möller
Original Article 03 February 2015 Pages: 109 - 132
State space axioms for T-systems
Eike Best
Raymond Devillers
Original Article 03 February 2015 Pages: 133 - 152
Observable liveness of Petri nets
Jörg Desel
Görkem Kılınç
Original Article 28 January 2015 Pages: 153 - 174
CCS: It’s not fair!
Rob J. van Glabbeek
Peter Höfner
Original Article 19 March 2015 Pages: 175 - 205
On constructibility and unconstructibility of LTS operators from other LTS operators
Antti Valmari
Original Article 03 February 2015 Pages: 207 - 234
Moving from interface theories to assembly theories
Rolf Hennicker
Alexander Knapp
Original Article 19 March 2015 Pages: 235 - 268
Refinement checking on parametric modal transition systems
Nikola Beneš
Jan Křetínský
Jiří Srba
Original Article 19 March 2015 Pages: 269 - 297

Search