TY  - RPRT
TI  - Behavioral Analysis of Timed Actors using Syntactic Slice Equivalence
AU  - Ali Ataollahi
AU  - Fatemeh Ghassemi
AU  - Eduard Kamburjan
AU  - Marjan Sirjani
PY  - 2026
UR  - https://arxiv.org/abs/2609.17840
ID  - 2609.17840
ER  -