TY  - RPRT
TI  - A declarative approach to specifying distributed algorithms using three-valued modal logic
AU  - Murdoch J. Gabbay
AU  - Luca Zanolini
PY  - 2025
UR  - https://arxiv.org/abs/2502.00892
ID  - 2502.00892
ER  -