TY - CONF T1 - Brief announcement: On strong observational refinement and forward simulation JO - 35th International Symposium on Distributed Computing (DISC 2021) PY - 2021/10/04 AU - Derrick J AU - Doherty S AU - Dongol B AU - Schellhorn G AU - Wehrheim H ED - DO - DOI: 10.4230/LIPIcs.DISC.2021.55 PB - Schloss Dagstuhl SN - 9783959772105 VL - 209 SP - 55:1 EP - 55:4 Y2 - 2025/07/26 ER -