Module pcm 

Partial commutative monoid (PCM) based resource algebras.

Re-exports

pub use agree::*;

pub use count::*;

pub use csum::*;

pub use excl::*;

pub use frac::*;

Modules

agree

Agreement resource algebra This module defines the Agreement PCM.

count

Reference counting resource algebra This module defines a reference counting PCM with authority and tokens.

csum

Csum resource algebra Csum PCM

excl

Exclusive resource algebra This module defines an exclusive PCM.

frac

Fractional resource algebra This module defines the real-based fractional permissions PCM.