Integration of parametric and “ad hoc” second order polymorphism in a calculus with subtyping Giuseppe Castagna OriginalPaper 21 April 2015 Pages: 247 - 293
Compositional verification of real-time systems with Explicit Clock Temporal Logic Ping ZhouJozef HoomanRuurd Kuiper OriginalPaper 21 April 2015 Pages: 294 - 323
Superposition refinement of reactive systems R. J. R. BackK. Sere OriginalPaper 21 April 2015 Pages: 324 - 346
A blocking model for reactive objects Roger DukeCecily BailesGraeme Smith OriginalPaper 21 April 2015 Pages: 347 - 368
The consistency theorem for free type definitions in Z Michael Spivey Short Communication 21 April 2015 Pages: 369 - 375