TY  - RPRT
TI  - A New Syntax and Semantics for Probabilistic Trace Expressions
AU  - Davide Ancona
AU  - Angelo Ferrando
AU  - Viviana Mascardi
PY  - 2026
UR  - https://arxiv.org/abs/2608.17594
ID  - 2608.17594
ER  -