{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T14:45:34Z","timestamp":1729608334110,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,11]]},"DOI":"10.1109\/hldvt.2011.6114162","type":"proceedings-article","created":{"date-parts":[[2012,1,6]],"date-time":"2012-01-06T14:31:55Z","timestamp":1325860315000},"page":"25-32","source":"Crossref","is-referenced-by-count":0,"title":["Causality analysis of synchronous programs with refined clocks"],"prefix":"10.1109","author":[{"given":"Mike","family":"Gemunde","sequence":"first","affiliation":[]},{"given":"Jens","family":"Brandt","sequence":"additional","affiliation":[]},{"given":"Klaus","family":"Schneider","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2008.4574599"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/ISSS.1997.621669"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126603000763"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/EDTC.1996.494321"},{"journal-title":"The Synchronous Programming Language Quartz","year":"2009","author":"schneider","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235322"},{"key":"13","article-title":"Schizophrenia and causality in the context of refined clocks","author":"gemu?nde","year":"0","journal-title":"Forum on Specification and Design Languages (FDL) Oldenburg Germany 2011"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2010.25"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2010.25"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2005.24"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.02.028"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/5.97297"},{"journal-title":"A Model to Analyze the Causality in Synchronous Real-time Systems","year":"1985","author":"benveniste","key":"1"},{"key":"10","first-page":"257","article-title":"SIGNAL, a declarative language for synchronous programming of real-time systems","volume":"274","author":"gautier","year":"1987","journal-title":"LNCS"},{"journal-title":"Separate Translation of Synchronous Programs to Guarded Actions","year":"2011","author":"brandt","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71067-7_13"},{"journal-title":"The Constructive Semantics of Pure Esterel","year":"1999","author":"berry","key":"5"},{"key":"4","article-title":"The foundations of Esterel","author":"berry","year":"1998","journal-title":"Proof Language and Interaction Essays in Honour of Robin Milner"},{"key":"9","first-page":"159","article-title":"Making cyclic circuits acyclic","author":"edwards","year":"2003","journal-title":"Design Automation Conference (DAC)"},{"key":"8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4210-9","author":"brzozowski","year":"1995","journal-title":"Asynchronous Circuits"}],"event":{"name":"2011 IEEE International High Level Design Validation and Test Workshop (HLDVT)","start":{"date-parts":[[2011,11,9]]},"location":"Napa Valley, CA, USA","end":{"date-parts":[[2011,11,11]]}},"container-title":["2011 IEEE International High Level Design Validation and Test Workshop"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6093762\/6113979\/06114162.pdf?arnumber=6114162","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T08:22:55Z","timestamp":1497946975000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6114162\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2011.6114162","relation":{},"subject":[],"published":{"date-parts":[[2011,11]]}}}