Please use this identifier to cite or link to this item:
Title: Permission-based separation logic for message-passing concurrency
Authors: Francalanza, Adrian
Rathke, Julian
Sassone, Vladimiro
Keywords: Computer science
Distributed algorithms
Issue Date: 2011
Publisher: International Federation for Computational Logic
Citation: Francalanza, A., Rathke, J., & Sassone, V. (2011). Permission-based separation logic for message-passing concurrency. Logical Methods in Computer Science, 7 (3:07), 1-47.
Abstract: We develop local reasoning techniques for message passing concurrent programs based on ideas from separation logics and resource usage analysis. We extend processes with permission-resources and define a reduction semantics for this extended language. This provides a foundation for interpreting separation formulas for message-passing concurrency. We also define a sound proof system permitting us to infer satisfaction compositionally using local, separation-based reasoning.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
1106.5128.pdf352 kBAdobe PDFView/Open

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.