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]

Possibly Related Publications

The following publications are possibly variants of this publication: