Output details
11 - Computer Science and Informatics
University of Manchester
Article title
Atomic Actions and their Refinements to Isolated Protocols.
Type
D - Journal article
Title of journal
Formal Aspects of Computing
Article number
-
Volume number
22
Issue number
1
First page of article
33
ISSN of journal
1433-299X
Year of publication
2010
URL
-
Number of additional authors
1
Additional information
<10> The paper provides a rigorous treatment of atomicity issues and how they relate to the refinement of high level atomic models, to low level, more complex and non-atomic models. This is significant because atomicity is such a basic property, relevant to a huge number of situations in computer science. Particularly significant is the clarification of how forwards and backwards refinement notions generically relate to the implementation of atomic models, the understanding of which was previously lacking.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
2
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
