TY  - RPRT
TI  - Unique Solutions of Guarded Recursive Equations
AU  - Rob van Glabbeek
PY  - 2025
DO  - 10.4204/eptcs.433.6
UR  - https://arxiv.org/abs/2510.24206
ID  - 2510.24206
ER  -