DMCA

On the relation between Concurrent Separation Logic and Concurrent Kleene Algebra

Cached

Download Links

by Peter W. O’hearna , Rasmus L. Petersenb , Jules Villarda , Akbar Hussainc