ePrints

An Approach to Splitting Atoms Safely: Extended Abstract

Lookup NU author(s): Emeritus Professor Cliff JonesORCiD

Downloads

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

Abstract

The intention of this paper is to make a contribution to (compositional) development methods for concurrent programs. The topics touched on include interference, atomicity, observability and granularity. The paper sets out some requirements for an approach to developing systems by "splitting atoms safely". © 2006 Elsevier B.V. All rights reserved.

Publication metadata

Author(s): Jones CB

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 21st Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXI)

Year of Conference: 2005

Pages: 43-60

ISSN: 1571-0661

Publisher: Electronic Notes in Theoretical Computer Science: Elsevier

URL: http://dx.doi.org/10.1016/j.entcs.2005.11.051

DOI: 10.1016/j.entcs.2005.11.051

Share