Preface

JOURNAL ARTICLE published January 2013 in Formal Aspects of Computing

Relating trace refinement and linearizability

JOURNAL ARTICLE published November 2017 in Formal Aspects of Computing

Research funded by Australian Research Council (DP160102457,DP130102901)

Authors: Graeme Smith | Kirsten Winter

Correct-by-construction model driven engineering composition operators

JOURNAL ARTICLE published May 2016 in Formal Aspects of Computing

Authors: Mounira Kezadri Hamiaz | Marc Pantel | Xavier Thirioux | Benoit Combemale

The stream-based service-centred calculus: a foundation for service-oriented programming

JOURNAL ARTICLE published September 2014 in Formal Aspects of Computing

Authors: Luís Cruz-Filipe | Ivan Lanese | Francisco Martins | António Ravara | Vasco Thudichum Vasconcelos

Special section of Tests and Proofs 2016

JOURNAL ARTICLE published November 2018 in Formal Aspects of Computing

Authors: Bernhard K. Aichernig | Carlo A. Furia | Marie-Claude Gaudel | Rob Hierons

Reachability analysis of fragments of mobile ambients in AC term rewriting

JOURNAL ARTICLE published July 2008 in Formal Aspects of Computing

Authors: Giorgio Delzanno | Roberto Montagna

Valediction

JOURNAL ARTICLE published December 2008 in Formal Aspects of Computing

Authors: Cliff Jones

Physigrams: modelling devices for natural interaction

JOURNAL ARTICLE published December 2009 in Formal Aspects of Computing

Authors: Alan Dix | Masitah Ghazali | Steve Gill | Joanna Hare | Devina Ramduny-Ellis

Program verification with interacting analysis plugins

JOURNAL ARTICLE published August 2007 in Formal Aspects of Computing

Authors: Nathaniel Charlton

A mini challenge: build a verifiable filesystem

JOURNAL ARTICLE published June 2007 in Formal Aspects of Computing

Authors: Rajeev Joshi | Gerard J. Holzmann

Model checking action system refinements

JOURNAL ARTICLE published February 2009 in Formal Aspects of Computing

Authors: Graeme Smith | Kirsten Winter

Editorial

JOURNAL ARTICLE published December 2002 in Formal Aspects of Computing

Authors: CLIFF JONES

Graph Transformation Units with Interleaving Semantics

JOURNAL ARTICLE published December 1999 in Formal Aspects of Computing

Authors: Hans-Jörg Kreowski | Sabine Kuske

Predicate Transformers for Recursive Procedures with Local Variables

JOURNAL ARTICLE published December 1999 in Formal Aspects of Computing

Authors: Wim H. Hesselink

Heterogeneous Notations for Pure Formal Method Integration

JOURNAL ARTICLE published March 1998 in Formal Aspects of Computing

Authors: Richard F. Paige

Investigating the Integration of two Formal Methods

JOURNAL ARTICLE published May 1998 in Formal Aspects of Computing

Authors: Juan Bicarregui | Brian Matthews | Brian Ritchie | Sten Agerholm

The Standard Logic of Z is Inconsistent

JOURNAL ARTICLE published March 1998 in Formal Aspects of Computing

Authors: Martin C. Henson

Specifying the apple Macintosh ^™ Toolbox event manager

JOURNAL ARTICLE published March 1989 in Formal Aspects of Computing

Authors: C. T. Burton | S. J. Cook | S. Gikas | J. R. Rowson | S. T. Sommerville

Forthcoming events 1990

JOURNAL ARTICLE published March 1990 in Formal Aspects of Computing

The projection of systolic programs

JOURNAL ARTICLE published March 1990 in Formal Aspects of Computing

Authors: C. Lengauer | J. W. Sanders