TY  - RPRT
TI  - A Simple Trace Semantics for Asynchronous Sequence Diagrams
AU  - David Faitelson
AU  - Shmuel Tyszberowicz
PY  - 2025
UR  - https://arxiv.org/abs/2501.10981
ID  - 2501.10981
ER  -