Not read but appears to be an updated version of an earlier paper but with a less open publisher.
Abstract read permissions: Fractional permissions without the fractions
Stefan Heule, K. Rustan M. Leino, Peter Müller, Alexander J. Summers[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]
Verification, Model Checking, and Abstract Interpretation
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 315-334
2013
Topic(s): verification
Note(s): permission logic
Papers: heule:ftfjp:2011
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 315-334
2013
Topic(s): verification
Note(s): permission logic
Papers: heule:ftfjp:2011