@misc{indiciae9138b24b15e6,
  title = {A New Syntax and Semantics for Probabilistic Trace Expressions},
  author = {Davide Ancona and Angelo Ferrando and Viviana Mascardi},
  year = {2026},
  url = {https://arxiv.org/abs/2608.17594},
  note = {Source identifier: 2608.17594}
}