# DGen v0.5.0 - Table of Contents

## Pages

- [DGen](readme.md)
- [Changelog](changelog.md)
- [LICENSE](license.md)

- Getting Started
  - [DGen.Server](dgen-intro.md)
  - [DGen.Registry](dgen-registry-intro.md)
  - [DGen.Registry with Presence](presence-demo.md)

- Design
  - [dgen_server Design](dgen_server_design.md)
  - [dgen_registry Design](dgen_registry_design.md)
  - [dgen_registry Message Flows](dgen_registry_message_flows.md)

- Formal Methods
  - [dgen_registry Formal Model](dgen_registry_formal.md)
  - [dgen_registry Simulation Harness](dgen_registry_simulation.md)

## Modules

- [DGen.Registry](DGen.Registry.md): OTP-compatible process registry backed by the configured storage backend.
- [DGen.Server](DGen.Server.md)
- [dgen_backend](dgen_backend.md): Behaviour defining the storage backend for dgen.
- [dgen_mem](dgen_mem.md): A pure-Erlang, in-memory `dgen_backend`.
- [dgen_queue](dgen_queue.md): Durable FIFO queue backed by the configured dgen backend.
- [dgen_registry](dgen_registry.md): OTP-compatible process registry implementing the `{via, dgen_registry, {RegistryName, LogicalName}}` contract.
- [dgen_server](dgen_server.md): A durable, distributed gen_server backed by a pluggable storage backend.
- [dgen_transaction](dgen_transaction.md): Behaviour that wraps the lifecycle of a single FDB transaction in a process.
- [dgen_utils](dgen_utils.md)