The system is still in flux, and documentation is still being written.
- Syndicate DSL Syntax and Semantics
- Syndicated-state Network Protocol
- Macaroon-style Capabilities
- Papers and Publications
In addition, my dissertation has a chapter describing the Racket implementation of Syndicate and a chapter including many examples demonstrating idioms of Syndicate programming.