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 (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

Full text is not in this repository.

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: http://eprints.mdx.ac.uk/id/eprint/9089

Actions (login required)

Edit Item Edit Item