Review for the American Mathematical Society (AMS): A. Francalanza et al. Permission-based separation logic for message-passing concurrency. Logical methods in computer science, 7: 1-47, 2011
Kammueller, Florian 
ORCID: https://orcid.org/0000-0001-5839-5488
(2012)
Review for the American Mathematical Society (AMS): A. Francalanza et al. Permission-based separation logic for message-passing concurrency. Logical methods in computer science, 7: 1-47, 2011.
Mathematical Reviews
(283123)
.
ISSN 21675163
[Article]
Abstract
The authors present a logical framework for reasoning in a compositional way about concurrent systems that communicate by message passing. Message passing is a useful abstraction to describe concurrent systems as processes with separate data spaces that only communicate via (possibly shared) channels. Thereby, the processes can be reasoned about in separation and issues of data racing (concurring writes on data) can be specified individually by considering permissions on channels. The framework is compositional since it provides a dedicated separation logic supporting so-called local reasoning.
| Item Type: | Article |
|---|---|
| Research Areas: | A. > School of Science and Technology > Computer Science > Foundations of Computing group A. > School of Science and Technology > Computer Science > Artificial Intelligence group |
| Item ID: | 9089 |
| Useful Links: | |
| Depositing User: | Dr Florian Kammueller |
| Date Deposited: | 31 May 2012 08:15 |
| Last Modified: | 13 Oct 2016 14:24 |
| URI: | https://eprints.mdx.ac.uk/id/eprint/9089 |
Actions (login required)
 |
View Item |
Statistics
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)