Output details
11 - Computer Science and Informatics
Newcastle University
Output title
Abstraction as a Unifying Link for Formal Approaches to Concurrency
Type
E - Conference contribution
Name of conference/published proceedings
Software Engineering and Formal Methods: 10th International Conference, SEFM 2012
Volume number
7504
Issue number
-
First page of article
1
ISSN of proceedings
0302-9743
Year of publication
2012
Number of additional authors
0
Additional information
<10> This is the cornerstone of my 4-year EPSRC responsive mode grant started in 2013. The overall goal is to get to the essence of two quite different ways of reasoning about shared-variable concurrent programs: Rely/Guarantee Reasoning and Separation Logic. Specifically, the use of "abstraction" has already thrown new light on some of the apparent differences: e.g. a completely novel view of “separation as an abstraction”. More importantly, it sets the course for the future research that is now being pursued in the “Taming Concurrency” project.
Interdisciplinary
-
Cross-referral requested
-
Research group
C - Dependability
Citation count
1
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
