Title: Permission-based Separation Logic for Message Passing Concurrency 
Adrian Francalanza 
ICT, University of Malta, Malta.

(joint work with Julian Rathke and Vladimiro Sassone from ECS, University of Southampton, England)
 
Abstract: We develop local reasoning techniques for message passing concur- 
rent programs based upon ideas from separation logics and resource usage anal- 
yses. We proposed a two-step analysis in which concurrent processes are first 
analysed for confluent behaviour using a type and effect system. This analysis 
provides a foundation for establishing correctness through logical, separation- 
based reasoning.