Toggle Main Menu Toggle Search

Open Access padlockePrints

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". © 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

URL: http://dx.doi.org/10.1016/j.tcs.2006.12.029

DOI: 10.1016/j.tcs.2006.12.029


Altmetrics

Altmetrics provided by Altmetric


Actions

Find at Newcastle University icon    Link to this publication


Share