Władysław Marek Turski (1938–2013) Andrzej Tarlecki Obituary Open access 19 August 2014 Pages: 863 - 864
The stream-based service-centred calculus: a foundation for service-oriented programming Luís Cruz-FilipeIvan LaneseVasco Thudichum Vasconcelos Original Article 06 August 2013 Pages: 865 - 918
Refinement patterns for ASTDs Marc FrappierFrédéric GervaisJérémy Milhau Original Article 22 August 2013 Pages: 919 - 941
A formal semantics of extended hierarchical state transition matrices using CSP# Yoriyuki YamagataWeiqiang KongKenji Taguchi Original Article 17 September 2013 Pages: 943 - 962
On integrating confidentiality and functionality in a formal method Michael J. BanksJeremy L. Jacob Original Article 24 September 2013 Pages: 963 - 992
Provably correct derivation of algorithms using FermaT Martin WardHussein Zedan Original Paper 22 October 2013 Pages: 993 - 1031
Combining human error verification and timing analysis: a case study on an infusion pump Rimvydas RukšėnasPaul CurzonJonathan Back Original Paper 09 November 2013 Pages: 1033 - 1076