{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:03:22Z","timestamp":1742396602355},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642006012"},{"type":"electronic","value":"9783642006029"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00602-9_4","type":"book-chapter","created":{"date-parts":[[2009,5,4]],"date-time":"2009-05-04T12:49:45Z","timestamp":1241441385000},"page":"46-60","source":"Crossref","is-referenced-by-count":9,"title":["Actors without Directors: A Kahnian View of Heterogeneous Systems"],"prefix":"10.1007","author":[{"given":"P.","family":"Caspi","sequence":"first","affiliation":[]},{"given":"A.","family":"Benveniste","sequence":"additional","affiliation":[]},{"given":"R.","family":"Lublinerman","sequence":"additional","affiliation":[]},{"given":"S.","family":"Tripakis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Full version of this paper available as technical report TR-2008-6, http:\/\/www-verimag.imag.fr\/index.php?page=techrep-list","key":"4_CR1"},{"doi-asserted-by":"crossref","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling Heterogeneous Real-time Components in BIP. In: SEFM 2006, pp. 3\u201312 (2006)","key":"4_CR2","DOI":"10.1109\/SEFM.2006.27"},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"1270","DOI":"10.1109\/5.97297","volume":"79","author":"A. Benveniste","year":"1991","unstructured":"Benveniste, A., Berry, G.: The synchronous approach to reactive and real-time systems. IEEE Proceedings\u00a079, 1270\u20131282 (1991)","journal-title":"IEEE Proceedings"},{"doi-asserted-by":"crossref","unstructured":"Benveniste, A., Caillaud, B., Carloni, L.P., Caspi, P., Sangiovanni-Vincentelli, A.L.: Composing heterogeneous reactive systems. ACM Trans. Embedded Comput. Syst.\u00a07(4) (2008)","key":"4_CR4","DOI":"10.1145\/1376804.1376811"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1023\/A:1008796718837","volume":"17","author":"G. Berry","year":"2000","unstructured":"Berry, G., Sentovich, E.: An implementation of constructive synchronous programs in polis. Formal Methods in System Design\u00a017, 135\u2013161 (2000)","journal-title":"Formal Methods in System Design"},{"doi-asserted-by":"crossref","unstructured":"Bliudze, S., Krob, D.: Towards a functional formalism for modelling complex industrial systems. In: Complex Systems (ECCS 2005), pp. 163\u2013176 (2005)","key":"4_CR6","DOI":"10.1159\/000093688"},{"doi-asserted-by":"crossref","unstructured":"Edwards, S.A., Lee, E.A.: The semantics and execution of a synchronous block-diagram language. Science of Computer Programming\u00a048(1) (2003)","key":"4_CR7","DOI":"10.1016\/S0167-6423(02)00096-5"},{"key":"4_CR8","first-page":"229","volume":"62","author":"B. Jacobs","year":"1997","unstructured":"Jacobs, B., Rutten, J.: A tutorial on (co)algebras and (co)induction. Bulletin of EATCS\u00a062, 229\u2013259 (1997)","journal-title":"Bulletin of EATCS"},{"unstructured":"Kahn, G.: The semantics of a simple language for parallel programming. In: IFIP (1974)","key":"4_CR9"},{"issue":"12","key":"4_CR10","doi-asserted-by":"publisher","first-page":"1217","DOI":"10.1109\/43.736561","volume":"17","author":"E.A. Lee","year":"1998","unstructured":"Lee, E.A., Sangiovanni-Vincentelli, A.: A unified framework for comparing models of computation. IEEE Trans. on Computer Aided Design of Integrated Circuits and Systems\u00a017(12), 1217\u20131229 (1998)","journal-title":"IEEE Trans. on Computer Aided Design of Integrated Circuits and Systems"},{"doi-asserted-by":"crossref","unstructured":"Lee, E.A., Zheng, H.: Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. In: EMSOFT 2007 (2007)","key":"4_CR11","DOI":"10.1145\/1289927.1289949"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/3-540-36580-X_25","volume-title":"Hybrid Systems: Computation and Control","author":"J. Liu","year":"2003","unstructured":"Liu, J., Lee, E.A.: On the causality of mixed-signal and hybrid models. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol.\u00a02623, pp. 328\u2013342. Springer, Heidelberg (2003)"},{"issue":"1","key":"4_CR13","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1016\/j.tcs.2008.08.044","volume":"409","author":"X. Liu","year":"2008","unstructured":"Liu, X., Lee, E.A.: CPO Semantics of Timed Interactive Actor Networks. Theoretical Computer Science\u00a0409(1), 110\u2013125 (2008)","journal-title":"Theoretical Computer Science"},{"doi-asserted-by":"crossref","unstructured":"Maraninchi, F., Bouhadiba, T.: 42: Programmable models of computation for a component-based approach to heterogeneous embedded systems. In: GPCE (2007)","key":"4_CR14","DOI":"10.1145\/1289971.1289981"},{"issue":"3","key":"4_CR15","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1137\/0205037","volume":"10","author":"D. Scott","year":"1976","unstructured":"Scott, D.: Data types as lattices. SIAM J. on Computing\u00a010(3), 522\u2013587 (1976)","journal-title":"SIAM J. on Computing"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00602-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T16:33:49Z","timestamp":1558283629000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00602-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642006012","9783642006029"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00602-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}