Volume 21, Issue 1-2

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

February 2009

8 articles in this issue

Editorial
Eerke Boiten
Editorial 16 December 2008 Pages: 1 - 1
A UTP semantics for Circus
Marcel Oliveira
Ana Cavalcanti
Jim Woodcock
Original Article 04 December 2007 Pages: 3 - 32
Mutation testing in UTP
Bernhard K. Aichernig
He Jifeng
Original Article 05 June 2008 Pages: 33 - 64
Relational concurrent refinement part II: Internal operations and outputs
Eerke Boiten
John Derrick
Gerhard Schellhorn
Original Article 04 January 2008 Pages: 65 - 102
Graph transformations for object-oriented refinement
Liang Zhao
Xiaojian Liu
Zongyan Qiu
Original Article 08 January 2008 Pages: 103 - 131
FDR Explorer
Leo Freitas
Jim Woodcock
Original Article 03 April 2008 Pages: 133 - 154
Model checking action system refinements
Graeme Smith
Kirsten Winter
Original Article 13 November 2007 Pages: 155 - 186
Trace-based derivation of a scalable lock-free stack algorithm
Lindsay Groves
Robert Colvin
Original Article 31 October 2008 Pages: 187 - 223

Volume 21, Issue 1-2

Editorial

A UTP semantics for Circus

Mutation testing in UTP

Relational concurrent refinement part II: Internal operations and outputs

Graph transformations for object-oriented refinement

FDR Explorer

Model checking action system refinements

Trace-based derivation of a scalable lock-free stack algorithm

Navigation