A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Splitting atoms safely
2007
Theoretical Computer Science
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 observabilityincluding granularity -are explored. Based on these points, the paper sets out some requirements for an approach to developing systems by "splitting atoms safely".
doi:10.1016/j.tcs.2006.12.029
fatcat:zw4q6z6mhndjjbxi3yzna6k5da