ePrints

Splitting atoms safely

Lookup NU author(s): Professor Cliff JonesORCiD

Downloads

• Published version [.pdf]

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