Expand description
Reference counting resource algebra This module defines a reference counting PCM with authority and tokens.
Authority can produce new tokens and tracks how many are outstanding. Tokens can be returned to authority or combined.
Enumsยง
- CountR
- A reference-counting PCM with authority and tokens.