Module pcm 

Partial commutative monoid (PCM) based resource algebras.

Modules

agree

Agreement resource algebra

csum

Csum resource algebra.

excl

Exclusive resource algebra

frac

Fractional resource algebra.