A Symbolic Approach to Permission Accounting for Concurrent Reasoning.

Marieke Huisman, Wojciech Mostowski

Browse the full ISPDC paper archive.