aneris_examples.ccddb.spec.spec

Modular specification for the causally consistent distributed database.
From aneris_examples.ccddb.spec Require Export base time events resources init.