Balancing expressiveness in formal approaches to concurrency Cliff B. JonesIan J. HayesRobert J. Colvin Original Article Open access 29 August 2014 Pages: 475 - 497
Language and tool support for event refinement structures in Event-B Asieh Salehi FathabadiMichael ButlerAbdolbaghi Rezazadeh Original Article 12 September 2014 Pages: 499 - 523
Strategy based semantics for mobility with time and access permissions Gabriel CiobanuMaciej KoutnyJason Steggles Original Article 09 December 2014 Pages: 525 - 549
Compositional reasoning about active objects with shared futures Crystal Chang DinOlaf Owe Original Article 19 November 2014 Pages: 551 - 572
Frama-C: A software analysis perspective Florent KirchnerNikolai KosmatovBoris Yakobowski Original Article 09 January 2015 Pages: 573 - 609