Papers, slides, and formal definitions from the Reticulate project.
Tool paper — LASIGE/FCUL, University of Lisbon
We present Reticulate, a Python library and web tool that constructs state spaces from session type definitions, verifies lattice properties, and visualizes Hasse diagrams. The tool supports all standard session type constructors including the novel parallel constructor, and has been validated on 17 benchmark protocols drawn from real-world systems.
Research presentation — LASIGE/FCUL
Slides presenting the core thesis: session-type state spaces form lattices, with the parallel constructor inducing product lattice structure. Covers the theory, the reticulate tool, and the BICA Reborn vision.
Working document — LASIGE/FCUL
Formal definitions of session types, state-space construction, lattice properties, the parallel constructor, termination conditions, and the morphism hierarchy. Reference document for the implementation.
@misc{caldeira2025reticulate,
author = {Caldeira, Alexandre Zua and Vasconcelos, Vasco T.},
title = {Reticulate: A Lattice-Theoretic Toolkit for Session Types},
year = {2025},
institution = {LASIGE, FCUL, University of Lisbon},
note = {PhD research --- session types as algebraic reticulates}
}