Permission-Based Separation Logic for Message-Passing Concurrency

Permission-Based Separation Logic for Message-Passing Concurrency

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 sep...

Full description

Bibliographic Details
Main Authors: Adrian Francalanza, Julian Rathke, Vladimiro Sassone
Format: Article
Language:English
Published: Logical Methods in Computer Science e.V. 2011-09-01
Series:Logical Methods in Computer Science
Subjects:
computer science - logic in computer science
f.3.1, f.3.2, f.3.3
Online Access:https://lmcs.episciences.org/772/pdf

Similar Items

Similar Items