{"department":[{"_id":"77"}],"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","volume":243,"type":"conference","project":[{"grant_number":"160364472","name":"SFB 901: SFB 901","_id":"1"},{"name":"SFB 901 - B: SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901 - B4: SFB 901 - Subproject B4","_id":"12"}],"citation":{"apa":"Dongol, B., Schellhorn, G., &#38; Wehrheim, H. (2022). Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement. In B. Klin, S. Lasota, &#38; A. Muscholl (Eds.), <i>33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland</i> (Vol. 243, p. 31:1–31:23). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2022.31\">https://doi.org/10.4230/LIPIcs.CONCUR.2022.31</a>","chicago":"Dongol, Brijesh, Gerhard Schellhorn, and Heike Wehrheim. “Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement.” In <i>33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland</i>, edited by Bartek Klin, Slawomir Lasota, and Anca Muscholl, 243:31:1–31:23. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. <a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2022.31\">https://doi.org/10.4230/LIPIcs.CONCUR.2022.31</a>.","mla":"Dongol, Brijesh, et al. “Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement.” <i>33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland</i>, edited by Bartek Klin et al., vol. 243, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 31:1–31:23, doi:<a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2022.31\">10.4230/LIPIcs.CONCUR.2022.31</a>.","ama":"Dongol B, Schellhorn G, Wehrheim H. Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement. In: Klin B, Lasota S, Muscholl A, eds. <i>33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland</i>. Vol 243. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022:31:1–31:23. doi:<a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2022.31\">10.4230/LIPIcs.CONCUR.2022.31</a>","ieee":"B. Dongol, G. Schellhorn, and H. Wehrheim, “Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement,” in <i>33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland</i>, 2022, vol. 243, p. 31:1–31:23, doi: <a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2022.31\">10.4230/LIPIcs.CONCUR.2022.31</a>.","bibtex":"@inproceedings{Dongol_Schellhorn_Wehrheim_2022, series={LIPIcs}, title={Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement}, volume={243}, DOI={<a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2022.31\">10.4230/LIPIcs.CONCUR.2022.31</a>}, booktitle={33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland}, publisher={Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, author={Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike}, editor={Klin, Bartek and Lasota, Slawomir and Muscholl, Anca}, year={2022}, pages={31:1–31:23}, collection={LIPIcs} }","short":"B. Dongol, G. Schellhorn, H. Wehrheim, in: B. Klin, S. Lasota, A. Muscholl (Eds.), 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 31:1–31:23."},"year":"2022","author":[{"last_name":"Dongol","full_name":"Dongol, Brijesh","first_name":"Brijesh"},{"full_name":"Schellhorn, Gerhard","last_name":"Schellhorn","first_name":"Gerhard"},{"id":"573","first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"}],"user_id":"477","doi":"10.4230/LIPIcs.CONCUR.2022.31","date_created":"2023-05-24T07:55:24Z","_id":"45248","status":"public","publication":"33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland","editor":[{"last_name":"Klin","full_name":"Klin, Bartek","first_name":"Bartek"},{"first_name":"Slawomir","full_name":"Lasota, Slawomir","last_name":"Lasota"},{"first_name":"Anca","last_name":"Muscholl","full_name":"Muscholl, Anca"}],"title":"Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement","date_updated":"2023-08-28T12:24:57Z","intvolume":"       243","language":[{"iso":"eng"}],"page":"31:1–31:23","series_title":"LIPIcs"}