%0 Conference Paper %1 conf/concur/DongolSW22 %A Dongol, Brijesh %A Schellhorn, Gerhard %A Wehrheim, Heike %B CONCUR %D 2022 %E Klin, Bartek %E Lasota, Slawomir %E Muscholl, Anca %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 31:1-31:23 %T Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement. %U http://dblp.uni-trier.de/db/conf/concur/concur2022.html#DongolSW22 %V 243 %@ 978-3-95977-246-4

@inproceedings{conf/concur/DongolSW22, added-at = {2023-03-21T00:00:00.000+0100}, author = {Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike}, biburl = {https://www.bibsonomy.org/bibtex/2d7035b496c8446e198281035042cc73b/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2022}, editor = {Klin, Bartek and Lasota, Slawomir and Muscholl, Anca}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2022.31}, interhash = {8fdbe020b1728c8c8f796b06ab9e8ed7}, intrahash = {d7035b496c8446e198281035042cc73b}, isbn = {978-3-95977-246-4}, keywords = {dblp}, pages = {31:1-31:23}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-09T23:26:33.000+0200}, title = {Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2022.html#DongolSW22}, volume = 243, year = 2022 }