A type of logic that models resource allocation and consumption, and allows for the manipulation of resources without duplication or deletion.
A type of logic that models resource allocation and consumption, and allows for the manipulation of resources without duplication or deletion.