Concerns the lazy garbage-collection of reference-counted resources. Garbage-collection is implemented as two concurrent operators on a transaction log: the first is the GC operator, a reader which lazily processes/truncates the transaction log; the second appends records to the log to persist transactional modifications to resources. This system might be applied to tracking a deduplicating filesystem's blocks, for instance.