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.

Official URL: http://www.ams.org/mathscinet-getitem?mr=2831239

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:School of Science and Technology > Science & Technology
ID Code:9089
Useful Links:
Deposited On:31 May 2012 08:15
Last Modified:03 Jun 2013 11:59

Repository staff only: item control page

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year