Jones CB

Velykis A

Yatapanage N

\ua9 2017, Springer International Publishing AG. Decomposing the design (or documentation) of large systems is a practical necessity; this prompts the need for a notion of compositional development methods; finding such methods for concurrent software is technically challenging because of the interference that characterises concurrency. This paper outlines the development of a difficult example in order to draw out lessons about such development methods. Although the “rely/guarantee” approach is employed in the example, the intuitions are more general

Newcastle University E-Prints

English

General Lessons from a Rely/Guarantee Development

https://eprint.ncl.ac.uk/file_store/production/242867/29D77B9A-9696-47E1-AE06-CB4D595DA792.pdf

General Lessons from a Rely/Guarantee Development

Abstract

Similar works

Full text

Available Versions

Newcastle University E-Prints