Volume 26, Issue 5

Formal Aspects of Computing is now archived and no longer receiving submissions with this publisher. All articles published in the journal during its time with Springer will remain fully searchable through our websites.

Search all Formal Aspects of Computing articles

September 2014

8 articles in this issue

Editorial
Cliff B. Jones
Editorial 15 August 2014 Pages: 861 - 861
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-Filipe
Ivan Lanese
Vasco Thudichum Vasconcelos
Original Article 06 August 2013 Pages: 865 - 918
Refinement patterns for ASTDs
Marc Frappier
Frédéric Gervais
Jérémy Milhau
Original Article 22 August 2013 Pages: 919 - 941
A formal semantics of extended hierarchical state transition matrices using CSP#
Yoriyuki Yamagata
Weiqiang Kong
Kenji Taguchi
Original Article 17 September 2013 Pages: 943 - 962
On integrating confidentiality and functionality in a formal method
Michael J. Banks
Jeremy L. Jacob
Original Article 24 September 2013 Pages: 963 - 992
Provably correct derivation of algorithms using FermaT
Martin Ward
Hussein 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šėnas
Paul Curzon
Jonathan Back
Original Paper 09 November 2013 Pages: 1033 - 1076

Volume 26, Issue 5

Search

Navigation