Browse by author
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''.
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
