{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:51:43Z","timestamp":1730281903344,"version":"3.28.0"},"reference-count":36,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1109\/memcod.2018.8556988","type":"proceedings-article","created":{"date-parts":[[2018,12,7]],"date-time":"2018-12-07T00:57:30Z","timestamp":1544144250000},"page":"1-10","source":"Crossref","is-referenced-by-count":2,"title":["Desynchronization: From Macro-step to Micro-step"],"prefix":"10.1109","author":[{"given":"Yu","family":"Bai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/1629335.1629356"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2008.4547700"},{"key":"ref31","article-title":"The synchronous programming language Quartz","author":"schneider","year":"2009","journal-title":"Department of Computer Science University of Kaiserslautern Kaiserslautern Germany Internal Report 375"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36575-3_22"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2013.6"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.05.040"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1006\/inco.2000.9999","article-title":"Compositionality in dataflow synchronous languages: Specification and distributed code generation","volume":"163","author":"caillaud","year":"2000","journal-title":"Information and Computation"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126603000763"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.2004.1309117"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-006-7844-8"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1289927.1289950"},{"key":"ref15","first-page":"131","article-title":"Correct-by-construction asynchronous implementation of modular synchronous specifications","volume":"78","author":"potop-butucaru","year":"2007","journal-title":"Fundamenta Informaticae"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2011-415"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.860958"},{"key":"ref18","first-page":"1","article-title":"A survey of automatic distribution method for synchronous programs","author":"girault","year":"2005","journal-title":"Synchronous Languages Applications and Programming (SLAP)"},{"key":"ref19","first-page":"471","article-title":"The semantics of a simple language for parallel programming","author":"kahn","year":"1974","journal-title":"Information Processing"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1165780.1165786"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147077"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0020452"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2006.32"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2010.5558639"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.06.006"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89287-8_13"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2002.1044297"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/43.945302"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1007\/3-540-48320-9_13","article-title":"From synchrony to asynchrony","volume":"1664","author":"benveniste","year":"1999","journal-title":"Concurrency Theory (CONCUR) Ser LNCS"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"ref20","first-page":"993","author":"kahn","year":"1977","journal-title":"Information Processing"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/5.381846"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/71.89067"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/3-540-58468-4_163","article-title":"A comparison of statecharts variants","author":"von der beeck","year":"1994","journal-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems"},{"journal-title":"The Constructive Semantics of Pure Esterel","year":"1999","author":"berry","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2004.1269025"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2030436"}],"event":{"name":"2018 16th ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)","start":{"date-parts":[[2018,10,15]]},"location":"Beijing, China","end":{"date-parts":[[2018,10,18]]}},"container-title":["2018 16th ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8536775\/8556861\/08556988.pdf?arnumber=8556988","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,27]],"date-time":"2022-01-27T03:06:03Z","timestamp":1643252763000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8556988\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/memcod.2018.8556988","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}