Volume 16, Issue 1

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

April 2004

8 articles in this issue

Editorial
Cliff Jones
John Cooke
OriginalPaper 15 March 2004 Pages: 1 - 1
Formal Methods Europe Update
John S. Fitzgerald
OriginalPaper 16 March 2004 Pages: 2 - 3
Online First Publication
C.B. Jones
D.J. Cooke
Christiane Notarmarco
OriginalPaper 15 March 2004 Pages: 4 - 4
Superposition: composition vs refinement of non-deterministic, action-based systems
Antónia Lopes
José Luiz Fiadeiro
OriginalPaper Pages: 5 - 18
Disciplined, efficient, generalised folds for nested datatypes
Clare Martin
Jeremy Gibbons
Ian Bayley
OriginalPaper Pages: 19 - 35
Barrier synchronisation: Axiomatisation and relaxation
A. Stewart
M. Clint
J. Gabarró
OriginalPaper 18 March 2004 Pages: 36 - 50
ERC – An object-oriented refinement calculus for Eiffel
Richard F. Paige
Jonathan S. Ostroff
OriginalPaper Pages: 51 - 79
Integration of UML and VHDL-AMS for analogue system modelling
C. T. Carr
T. M. McGinnity
L. J. McDaid
OriginalPaper 13 March 2004 Pages: 80 - 94

Volume 16, Issue 1

Search

Navigation