TY  - RPRT
TI  - Stronger Validity Criteria for Encoding Synchrony
AU  - Rob van Glabbeek
AU  - Ursula Goltz
AU  - Christopher Lippert
AU  - Stephan Mennicke
PY  - 2025
DO  - 10.1007/978-3-030-31175-9_11
UR  - https://arxiv.org/abs/2502.08307
ID  - 2502.08307
ER  -