ePrints

Splitting atoms safely

Lookup NU author(s): Professor Cliff Jones

Downloads

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

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

Share