Action transducers and timed automata Nancy LynchFrits Vaandrager OriginalPaper 21 April 2015 Pages: 499 - 538
Refinement of a typed WAM extension by polymorphic order-sorted types Christoph BeierleEgon Börger OriginalPaper 21 April 2015 Pages: 539 - 564
Priority as extremal probability Scott A. SmolkaBernhard Steffen OriginalPaper 21 April 2015 Pages: 585 - 606
Compositional minimisation of finite state systems using interface specifications Susanne GrafBernhard SteffenGerald Lüttgen OriginalPaper 21 April 2015 Pages: 607 - 616