Module resource 

Resource algebras based on PCM and storage-protocol inspired by Iris and Leaf.

Modules

pcm

Partial commutative monoid (PCM) based resource algebras.

storage

Leaf-style resource algebras based on storage-protocol.