Formal Aspects of Computing

Editorial

Compositional Action System Refinement

R. J. R. Back, J. von Wright

Concurrency and Refinement in the Unified Modeling Language

Jim Davies, Charles Crichton

A Refinement Strategy for Circus

Ana Cavalcanti, Augusto Sampaio, Jim Woodcock

Relational Concurrent Refinement

John Derrick, Eerke Boiten

Exploring Tabular Verification and Refinement

Emil Sekerinski

The ASM Refinement Method

Egon Börger

The Variety of Variables in Automated Real-Time Refinement

Luke Wildman, Colin Fidge, David Carrington

Mutation Testing in the Refinement Calculus

Bernhard K. Aichernig