Browse by author
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 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.
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
Publisher: Electronic Notes in Theoretical Computer Science: Elsevier