{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:08:11Z","timestamp":1730221691465,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,9,8]],"date-time":"2021-09-08T00:00:00Z","timestamp":1631059200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,9,8]],"date-time":"2021-09-08T00:00:00Z","timestamp":1631059200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,9,8]]},"DOI":"10.1109\/fdl53530.2021.9568373","type":"proceedings-article","created":{"date-parts":[[2021,10,26]],"date-time":"2021-10-26T21:10:42Z","timestamp":1635282642000},"page":"01-08","source":"Crossref","is-referenced-by-count":1,"title":["Synchronised Shared Memory and Model Checking: A Proof of Concept"],"prefix":"10.1109","author":[{"given":"Joaquin","family":"Aguado","sequence":"first","affiliation":[{"name":"Otto-Friedrich-Universität Bamberg,Faculty of Information Systems and Applied Computer Sciences,Bamberg,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alejandra","family":"Duenas","sequence":"additional","affiliation":[{"name":"ICN Business School,Supply Chain and Information Systems Management,Nancy,France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"2007","author":"potop-butucaru","journal-title":"Compiling Esterel","key":"ref10"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/ISORC.1998.666789"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1016\/j.scico.2014.04.009"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1145\/2627350"},{"key":"ref4","first-page":"163","article-title":"Integrating the synchronous paradigm into UML","author":"andr\u00e9","year":"2002","journal-title":"Proc 5th International Conference on the UML (UML‘02)"},{"key":"ref3","first-page":"417","article-title":"Objects and synchronous programming","volume":"31","author":"andr\u00e9","year":"1997","journal-title":"RAIRO-APII-JESA Journal Europeen des Systemes Automatises"},{"key":"ref6","first-page":"459","article-title":"Reactive objects","volume":"51","author":"boussinot","year":"1996","journal-title":"Annales des Télécommunications"},{"year":"1999","author":"berry","journal-title":"The Constructive Semantics of Pure Esterel","key":"ref5"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1007\/978-1-4471-3227-1_8"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/FDL50818.2020.9232942"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1007\/s00236-015-0238-x"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1007\/978-3-319-89884-1_4"},{"year":"2004","author":"holzmann","journal-title":"SPIN Model Checker The Primer and Reference Manual","key":"ref9"}],"event":{"name":"2021 Forum on specification & Design Languages (FDL)","start":{"date-parts":[[2021,9,8]]},"location":"Antibes, France","end":{"date-parts":[[2021,9,10]]}},"container-title":["2021 Forum on specification & Design Languages (FDL)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9568274\/9568370\/09568373.pdf?arnumber=9568373","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T23:35:37Z","timestamp":1659483337000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9568373\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,8]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/fdl53530.2021.9568373","relation":{},"subject":[],"published":{"date-parts":[[2021,9,8]]}}}