- Specification's authors: Tom Rodeheffer
- Original paper: Murray, Derek G., et al. Naiad: a timely dataflow system. Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles. ACM, 2013.
- Extended modules: Int, Seq, FinSet
- Computation models: no faults
- Some properties checked with TLC: correctness
- Only PDF files