Parallel program design: a foundation
Parallel program design: a foundation
Issues in the design of a parallel object-oriented language
Formal Aspects of Computing
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Programming from specifications
Programming from specifications
Accommodating interference in the formal design of concurrent object-based programs
Formal Methods in System Design
Concurrency verification: introduction to compositional and noncompositional methods
Concurrency verification: introduction to compositional and noncompositional methods
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Refinement Calculus: A Systematic Introduction
Refinement Calculus: A Systematic Introduction
PI-Calculus: A Theory of Mobile Processes
PI-Calculus: A Theory of Mobile Processes
The Formal Classification and Verification of Simpson's 4-Slot Asynchronous Communication Mechanism
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Axiomatic proof techniques for parallel programs.
Axiomatic proof techniques for parallel programs.
Operational semantics: concepts and their expression
Information Processing Letters - Special issue: Contribution to computing science
The atomic manifesto: a story in four quarks
ACM SIGMOD Record
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
| Hi-index | 0.00 |
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''.