Back to Search
Start Over
An Approach to Splitting Atoms Safely
- Source :
- MFPS
- Publication Year :
- 2006
- Publisher :
- Elsevier BV, 2006.
-
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''.
Details
- ISSN :
- 15710661
- Volume :
- 155
- Database :
- OpenAIRE
- Journal :
- Electronic Notes in Theoretical Computer Science
- Accession number :
- edsair.doi.dedup.....61587298f3554b0f9b4932756a6a477c
- Full Text :
- https://doi.org/10.1016/j.entcs.2005.11.051