TY  - RPRT
TI  - A Predicate-Based Model for Computation over State Spaces
AU  - Jaime Alexander Jimenez Lozano
AU  - Sebastian Jimenez Giraldo
PY  - 2026
UR  - https://arxiv.org/abs/2606.15027
ID  - 2606.15027
ER  -