TY  - RPRT
TI  - Executable Specifications in Transition Algebra
AU  - Daniel Găină
AU  - Adrián Riesco
AU  - Ionuţ Ţuţu
PY  - 2026
UR  - https://arxiv.org/abs/2611.06208
ID  - 2611.06208
ER  -