TY  - RPRT
TI  - High-Level Message Sequence Charts: Satisfiability and Realizability Revisited
AU  - Benedikt Bollig
AU  - Marie Fortin
AU  - Paul Gastin
PY  - 2025
UR  - https://arxiv.org/abs/2504.19814
ID  - 2504.19814
ER  -