Toggle Main Menu Toggle Search

Open Access padlockePrints

Splitting Atoms Safely

Lookup NU author(s): Professor Cliff JonesORCiD



The aim of this paper is to make a contribution to (compositional) development methods for concurrent programs. In particular, it takes a fresh look at a number of familiar ideas including the problem of interference. Some subtle issues of observability --including granularity-- are explored. Based on these points, the paper sets out some requirements for an approach to developing systems by ``splitting atoms safely''.

Publication metadata

Author(s): Jones CB

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2005

Pages: 19

Print publication date: 01/01/2005

Source Publication Date: January 2005

Report Number: 883

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne