- Specification's authors: Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
- Original paper: Chevrou, Florent, Aurélie Hurault, and Philippe Quéinnec. On the diversity of asynchronous communication. Formal Aspects of Computing 28.5 (2016): 847-879.
- Extended modules: Nat
- Computation models: no faults
- Some properties checked with TLC: compatibility, termination
- TLA+ files