Semantics of fractional permissions with nesting

John Tang Boyland. Semantics of fractional permissions with nesting. ACM Transactions on Programming Languages and Systems, 32(6), 2010. [doi]

Abstract

Abstract is missing.