{"title":"Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement","year":"2022","author":[{"first_name":"Brijesh","full_name":"Dongol, Brijesh","last_name":"Dongol"},{"last_name":"Schellhorn","full_name":"Schellhorn, Gerhard","first_name":"Gerhard"},{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike","id":"573"}],"volume":243,"editor":[{"first_name":"Bartek","full_name":"Klin, Bartek","last_name":"Klin"},{"first_name":"Slawomir","last_name":"Lasota","full_name":"Lasota, Slawomir"},{"first_name":"Anca","last_name":"Muscholl","full_name":"Muscholl, Anca"}],"_id":"45248","language":[{"iso":"eng"}],"publication":"33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","user_id":"477","intvolume":"       243","department":[{"_id":"77"}],"date_created":"2023-05-24T07:55:24Z","type":"conference","doi":"10.4230/LIPIcs.CONCUR.2022.31","status":"public","project":[{"name":"SFB 901: SFB 901","_id":"1","grant_number":"160364472"},{"_id":"3","name":"SFB 901 - B: SFB 901 - Project Area B"},{"name":"SFB 901 - B4: SFB 901 - Subproject B4","_id":"12"}],"page":"31:1–31:23","citation":{"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>.","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>","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} }","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>.","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>","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."},"date_updated":"2023-08-28T12:24:57Z","series_title":"LIPIcs"}