Binary Session Types Benchmark Dataset: 79 Protocols with Lattice-Structured State Spaces
Abstract
A curated collection of 79 binary session-type protocol benchmarks spanning networking, distributed systems, AI agents, databases, concurrency, biology, design patterns, and fault tolerance. All 79 protocols use the core binary session type grammar (branch, selection, parallel, recursion, end) and produce lattice-structured state spaces under the reachability ordering. Includes the core Reticulate Python library (parser, state-space builder, lattice checker) for reproducing the results. Step 1 artifact of the "Session Types as Algebraic Reticulates" research programme.
Fields of Study & Subjects
Logic
programming
and type systems
Formal Methods in Verification
Distributed systems and fault tolerance
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 15 March 2026
- Language
- EN
- Document type
- Dataset