Marieke Huisman, Wojciech Mostowski. A Symbolic Approach to Permission Accounting for Concurrent Reasoning. In Daniel Grosu, Hai Jin, George Papadopoulos, editors, 14th International Symposium on Parallel and Distributed Computing, ISPDC 2015, Limassol, Cyprus, June 29 - July 2, 2015. pages 165-174, IEEE, 2015. [doi]
Abstract is missing.