Splitting atoms safely

C.B. Jones
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