{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T00:44:37Z","timestamp":1649033077663},"reference-count":10,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.178.2","type":"journal-article","created":{"date-parts":[[2015,3,15]],"date-time":"2015-03-15T02:58:02Z","timestamp":1426388282000},"page":"9-21","source":"Crossref","is-referenced-by-count":4,"title":["A Denotational Semantics for Communicating Unstructured Code"],"prefix":"10.4204","volume":"178","author":[{"given":"Nils","family":"J\u00e4hnig","sequence":"first","affiliation":[{"name":"TU Berlin"}]},{"given":"Thomas","family":"G\u00f6thel","sequence":"additional","affiliation":[{"name":"TU Berlin"}]},{"given":"Sabine","family":"Glesner","sequence":"additional","affiliation":[{"name":"TU Berlin"}]}],"member":"2720","published-online":{"date-parts":[[2015,3,17]]},"reference":[{"key":"BarGle2011","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1109\/APSEC.2011.52","article-title":"Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementation Using Timed CSP","volume-title":"Proceedings of the 18th Asia Pacific Software Engineering Conference (APSEC 2011)","author":"Bartels","year":"2011"},{"key":"Bartels:2014aa","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-319-06200-6_8","article-title":"Mechanized, Compositional Verification of Low-Level Code","volume-title":"NASA Formal Methods","volume":"8430","author":"Bartels","year":"2014"},{"key":"DBLP:conf\/tacas\/Gibson-RobinsonABR14","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-642-54862-8_13","article-title":"FDR3 - A Modern Refinement Checker for CSP","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014","author":"Gibson-Robinson","year":"2014"},{"key":"VATES_Approach","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-3-642-17172-7_5","article-title":"The VATES-Diamond as a Verifier's Best Friend","volume-title":"Verification, Induction, Termination Analysis","volume":"6463","author":"Glesner","year":"2010"},{"issue":"8","key":"Hoare:1978:CSP:359576.359585","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","article-title":"Communicating Sequential Processes","volume":"21","author":"Hoare","year":"1978","journal-title":"Commun. ACM"},{"key":"Nipkow2002","series-title":"LNCS","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL \u2014 A Proof Assistant for Higher-Order Logic","volume":"2283","author":"Nipkow","year":"2002"},{"key":"Saabas05acompositional","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/j.entcs.2005.09.031","article-title":"A compositional natural semantics and Hoare logic for low-level languages","volume-title":"Proceedings of the Second Workshop on Structured Operational Semantics","author":"Saabas","year":"2005"},{"key":"Schneider1999","volume-title":"Concurrent and Real Time Systems: The CSP Approach","author":"Schneider","year":"1999"},{"key":"Winskel:1993:FSP:151145","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3054.001.0001","volume-title":"The Formal Semantics of Programming Languages: An Introduction","author":"Winskel","year":"1993"},{"key":"zwiers1989compositionality","series-title":"LNCS","volume-title":"Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship","volume":"321","author":"Zwiers","year":"1989"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2020,8,30]],"date-time":"2020-08-30T21:58:40Z","timestamp":1598824720000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1503.04913"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3,17]]},"references-count":10,"URL":"https:\/\/doi.org\/10.4204\/eptcs.178.2","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,3,17]]}}}