{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:55:44Z","timestamp":1725562544801},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642152337"},{"type":"electronic","value":"9783642152344"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15234-4_3","type":"book-chapter","created":{"date-parts":[[2010,8,2]],"date-time":"2010-08-02T12:41:57Z","timestamp":1280752917000},"page":"7-18","source":"Crossref","is-referenced-by-count":1,"title":["Rialto 2.0: A Language for Heterogeneous Computations"],"prefix":"10.1007","author":[{"given":"Johan","family":"Lilius","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Dahlin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lionel","family":"Morel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","volume-title":"Advances in Computers","author":"E.A. Lee","year":"2002","unstructured":"Lee, E.A.: Embedded software. In: Zelkowitz, M. (ed.) Advances in Computers, vol.\u00a056. Academic Press, London (2002)"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"430","DOI":"10.1007\/3-540-46852-8_31","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"J. Lilius","year":"1999","unstructured":"Lilius, J., Paltor, I.P.: Formalising UML state machines for model checking. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol.\u00a01723, pp. 430\u2013445. Springer, Heidelberg (1999)"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Berry, G., Gonthier, G.: The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming\u00a019(2) (1992)","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming\u00a08, 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"3_CR5","unstructured":"Bj\u00f3rklund, D.: A Kernel Language for Unified Code Synthesis. PhD thesis, \u00c5bo Akademi University (2005)"},{"issue":"12","key":"3_CR6","doi-asserted-by":"publisher","first-page":"1217","DOI":"10.1109\/43.736561","volume":"17","author":"E.A. Lee","year":"1997","unstructured":"Lee, E.A., Sangiovanni-Vincentelli, A.: A framework for comparing models of computation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems\u00a017(12), 1217\u20131229 (1997)","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"3_CR7","unstructured":"Liu, X.: Semantic Foundation of the Tagged Signal Model. PhD thesis, EECS Department, University of California, Berkeley (2005)"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Girault, A., Lee, B., Lee, E.A.: Hierarchical finite state machines with multiple concurrency models. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems\u00a018(6) (June 1999)","DOI":"10.1109\/43.766725"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Benveniste, A., Caillaud, B., Carloni, L., Sangiovanni-Vincentelli, A.: Heterogeneous reactive systems modeling: Capturing causality and the correctness of loosely time-triggered architectures (ltta). In: Proc of the Fourth Intl. Conference on Embedded Software, EMSOFT. ACM, New York (2004)","DOI":"10.1145\/1017753.1017790"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Benveniste, A., Caillaud, B., Carloni, L.P., Caspi, P., Sangiovanni-Vincentelli, A.L.: Composing heterogeneous reactive systems. ACM Transactions on Embedded Computing Systems, TECS (2007)","DOI":"10.1145\/1376804.1376811"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Eker, J., Janneck, J.W., Lee, E.A., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming heterogeneity \u2014 the ptolemy approach. In: Proceedings of the IEEE, pp. 127\u2013144 (2003)","DOI":"10.1109\/JPROC.2002.805829"},{"key":"3_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-6127-9","volume-title":"Hardware-Software Co-Design of Embedded Systems, The POLIS Approach","author":"F. Balarin","year":"1997","unstructured":"Balarin, F., Giusto, P., Jurecska, A., Passerone, C., Sentovich, E., Tabbara, B., Chiodo, M., Hsieh, H., Lavagno, L., Sangiovanni-Vincentelli, A.L., Suzuki, K.: Hardware-Software Co-Design of Embedded Systems, The POLIS Approach. Kluwer Academic Publishers, Dordrecht (1997)"},{"key":"3_CR13","unstructured":"Dahlin, A.: JRialto, an implementation of the heterogeneous Rialto modelling language. Master\u2019s thesis, \u00c5bo Akademi University (2007), http:\/\/www.abo.fi\/~andalin\/mastersthesis.pdf"}],"container-title":["IFIP Advances in Information and Communication Technology","Distributed, Parallel and Biologically Inspired Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15234-4_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T22:03:16Z","timestamp":1606168996000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15234-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642152337","9783642152344"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15234-4_3","relation":{},"ISSN":["1868-4238","1861-2288"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1861-2288"}],"subject":[],"published":{"date-parts":[[2010]]}}}