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  - 2024/12/22

ER  -