Published: 24th October 2018
DOI: 10.4204/EPTCS.282
ISSN: 2075-2180

EPTCS 282

Proceedings
18th Refinement Workshop
Oxford, UK, 18th July 2018

Edited by: John Derrick, Brijesh Dongol and Steve Reeves

Preface
A Theory of Lazy Imperative Timing
Eric C.R. Hehner
1
Some Challenges of Specifying Concurrent Program Components
Ian J. Hayes
10
Ordering Strict Partial Orders to Model Behavioral Refinement
Mathieu Montin and Marc Pantel
23
Programming Without Refining
Marwa Benabdelali, Lamia Labed Jilani, Wided Ghardallou and Ali Mili
39
Correctness of Concurrent Objects under Weak Memory Models
Graeme Smith, Kirsten Winter and Robert J. Colvin
53
Refining Santa: An Exercise in Efficient Synchronization
Emil Sekerinski and Shucai Yao
68

Preface

We are proud to present the papers from the 18th Refinement Workshop, co-located with FM 2018 held in Oxford, UK on July 18th, 2018.

Refinement is one of the cornerstones of a formal approach to software engineering: the process of developing a more detailed design or implementation from an abstract specification through a sequence of mathematically-based steps that maintain correctness with respect to the original specification.

This 18th workshop continued a 20+ year tradition in refinement workshops run under the auspices of the British Computer Society (BCS) FACS special interest group. After the first seven editions had been held in the UK, in 1998 it was combined with the Australasian Refinement Workshop to form the International Refinement Workshop, hosted at The Australian National University. Nine more editions have followed in a variety of locations, all with electronic published proceedings and associated journal special issues, see the workshop homepage at www.refinenet.org.uk for more details.

Like previous editions, the 18th edition was co-located with a major formal methods conference, this year we were delighted to be co-located with the FM international conference, which again proved to be a very productive pairing of events. The workshop had six peer reviewed presentations and two invited talks. The papers cover a wide range of topics in the theory and application of refinement.

This is the fourth volume that has appeared as an EPTCS proceedings, and we would like to thank the editorial board (and in particular Rob van Glabbeek) for their help and cooperation in making this happen. As last time, this edition had a small Program Committee, whose names appear below, and we thank them for their work.

The organisers would like to thank everyone: the invited speakers, the authors, BCS-FACS, EPTCS, and the organisers of FLoC 2018 for their help in organising this workshop, the participants of the workshop, and the reviewers involved in selecting the papers.

Invited talks

Program committee

John Derrick
Brijesh Dongol
Steve Reeves