Please use this identifier to cite or link to this item:
|Title:||Permission-based separation logic for message-passing concurrency|
|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|
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.