{"status":"public","date_updated":"2022-01-06T06:59:02Z","doi":"10.1007/978-3-642-39718-9_11","date_created":"2018-06-13T08:13:31Z","series_title":"Lecture Notes in Computer Science","editor":[{"first_name":"Zhiming","last_name":"Liu","full_name":"Liu, Zhiming"},{"full_name":"Woodcock, Jim","last_name":"Woodcock","first_name":"Jim"},{"full_name":"Zhu, Huibiao","last_name":"Zhu","first_name":"Huibiao"}],"publication":"Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings","page":"177--194","citation":{"short":"B. Dongol, O. Travkin, J. Derrick, H. Wehrheim, in: Z. Liu, J. Woodcock, H. Zhu (Eds.), Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, 2013, pp. 177--194.","ama":"Dongol B, Travkin O, Derrick J, Wehrheim H. A High-Level Semantics for Program Execution under Total Store Order Memory. In: Liu Z, Woodcock J, Zhu H, eds. <i>Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings</i>. Lecture Notes in Computer Science. ; 2013:177--194. doi:<a href=\"https://doi.org/10.1007/978-3-642-39718-9_11\">10.1007/978-3-642-39718-9_11</a>","ieee":"B. Dongol, O. Travkin, J. Derrick, and H. Wehrheim, “A High-Level Semantics for Program Execution under Total Store Order Memory,” in <i>Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings</i>, 2013, pp. 177--194.","chicago":"Dongol, Brijesh, Oleg Travkin, John Derrick, and Heike Wehrheim. “A High-Level Semantics for Program Execution under Total Store Order Memory.” In <i>Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings</i>, edited by Zhiming Liu, Jim Woodcock, and Huibiao Zhu, 177--194. Lecture Notes in Computer Science, 2013. <a href=\"https://doi.org/10.1007/978-3-642-39718-9_11\">https://doi.org/10.1007/978-3-642-39718-9_11</a>.","apa":"Dongol, B., Travkin, O., Derrick, J., &#38; Wehrheim, H. (2013). A High-Level Semantics for Program Execution under Total Store Order Memory. In Z. Liu, J. Woodcock, &#38; H. Zhu (Eds.), <i>Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings</i> (pp. 177--194). <a href=\"https://doi.org/10.1007/978-3-642-39718-9_11\">https://doi.org/10.1007/978-3-642-39718-9_11</a>","bibtex":"@inproceedings{Dongol_Travkin_Derrick_Wehrheim_2013, series={Lecture Notes in Computer Science}, title={A High-Level Semantics for Program Execution under Total Store Order Memory}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-39718-9_11\">10.1007/978-3-642-39718-9_11</a>}, booktitle={Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings}, author={Dongol, Brijesh and Travkin, Oleg and Derrick, John and Wehrheim, Heike}, editor={Liu, Zhiming and Woodcock, Jim and Zhu, HuibiaoEditors}, year={2013}, pages={177--194}, collection={Lecture Notes in Computer Science} }","mla":"Dongol, Brijesh, et al. “A High-Level Semantics for Program Execution under Total Store Order Memory.” <i>Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings</i>, edited by Zhiming Liu et al., 2013, pp. 177--194, doi:<a href=\"https://doi.org/10.1007/978-3-642-39718-9_11\">10.1007/978-3-642-39718-9_11</a>."},"_id":"3178","author":[{"first_name":"Brijesh","last_name":"Dongol","full_name":"Dongol, Brijesh"},{"first_name":"Oleg","last_name":"Travkin","full_name":"Travkin, Oleg"},{"last_name":"Derrick","full_name":"Derrick, John","first_name":"John"},{"id":"573","first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim"}],"user_id":"29719","department":[{"_id":"77"}],"type":"conference","title":"A High-Level Semantics for Program Execution under Total Store Order Memory","year":"2013"}