A comparison of simulation techniques and algebraic techniques for verifying concurrent systems Nancy LynchRoberto Segala OriginalPaper 21 April 2015 Pages: 231 - 265
Event refinement in state-based concurrent systems Jane SinclairJim Woodcock OriginalPaper 21 April 2015 Pages: 266 - 288
A fully abstract semantics of classes for Object-Z Graeme Smith OriginalPaper 21 April 2015 Pages: 289 - 313
Using units of measurement in formal specifications Ian J. HayesBrendan P. Mahony OriginalPaper 21 April 2015 Pages: 329 - 347