TY  - RPRT
TI  - Guidelines for Producing Concise LNT Models, Illustrated with Formal Models of the Algorand Consensus Protocol
AU  - Hubert Garavel
PY  - 2026
DO  - 10.4204/eptcs.443.5
UR  - https://arxiv.org/abs/2604.05006
ID  - 2604.05006
ER  -