Toggle Main Menu Toggle Search

Open Access padlockePrints

Splitting atoms safely

Lookup NU author(s): Professor Cliff Jones


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


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". © 2007 Elsevier Ltd. All rights reserved.

Publication metadata

Author(s): Jones CB

Publication type: Article

Publication status: Published

Journal: Theoretical Computer Science

Year: 2007

Volume: 375

Issue: 1-3

Pages: 109-119

ISSN (print): 0304-3975

ISSN (electronic):

Publisher: Elsevier BV


DOI: 10.1016/j.tcs.2006.12.029


Altmetrics provided by Altmetric