Toggle Main Menu Toggle Search

ePrints

Splitting Atoms Safely

Lookup NU author(s): Professor Cliff Jones

Downloads


Abstract

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

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/883.pdf


Share