{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:22:42Z","timestamp":1725636162771},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1109\/fdl.2018.8524036","type":"proceedings-article","created":{"date-parts":[[2018,11,8]],"date-time":"2018-11-08T23:21:35Z","timestamp":1541719295000},"page":"5-16","source":"Crossref","is-referenced-by-count":3,"title":["Blech, Imperative Synchronous Programming!"],"prefix":"10.1109","author":[{"given":"Friedrich","family":"Gretz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franz-Josef","family":"Grosch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","first-page":"64","article-title":"The synchronous languages 12 years later","author":"albert","year":"2003","journal-title":"Proceedings of the IEEE"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426437"},{"key":"ref10","first-page":"29","author":"schneider","year":"2017","journal-title":"Quartz A Synchronous Language for Model-Based Design of Reactive Embedded Systems"},{"key":"ref6","first-page":"1","article-title":"SCADE 6: A formal language for embedded critical software development (invited paper)","author":"cola\u00e7o","year":"2017","journal-title":"11th International Symposium on Theoretical Aspects of Software Engineering TASE 2017 Sophia Antipolis France September 13–15 2017"},{"key":"ref11","article-title":"Sequentially Constructive Concurrency?A conservative extension of the synchronous model of computation","author":"von hanxleden","year":"2013","journal-title":"Technical Report 1308 Christian-Albrechts-Universität zu Kiel Department of Computer Science"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1543820.1543822"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2627350"},{"journal-title":"Compiling Esterel","year":"2007","author":"dumitru","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1594834.1480893"},{"key":"ref2","first-page":"37","article-title":"Causal memory: Definitions, implementation, and programming","author":"mustaque","year":"1995","journal-title":"Distributed Computing"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3035544"},{"key":"ref1","first-page":"86","article-title":"Deterministic concurrency: A dock-synchronised shared memory approach","author":"aguado","year":"2018","journal-title":"Programming Languages and Systems ? 27th European Symposium on Programming ESOP 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software ETAPS 2018 Thessaloniki Greece April 14–20 2018 Proceedings volume 10801 of Lecture Notes in Computer Science"}],"event":{"name":"2018 Forum on specification & Design Languages (FDL)","start":{"date-parts":[[2018,9,10]]},"location":"Garching","end":{"date-parts":[[2018,9,12]]}},"container-title":["2018 Forum on Specification & Design Languages (FDL)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8501260\/8524032\/08524036.pdf?arnumber=8524036","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T21:28:02Z","timestamp":1643232482000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8524036\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/fdl.2018.8524036","relation":{},"subject":[],"published":{"date-parts":[[2018,9]]}}}