{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:57Z","timestamp":1761611217931},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540654933"},{"type":"electronic","value":"9783540492139"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49213-5_19","type":"book-chapter","created":{"date-parts":[[2007,12,9]],"date-time":"2007-12-09T12:03:39Z","timestamp":1197201819000},"page":"490-514","source":"Crossref","is-referenced-by-count":8,"title":["On the Combination of Synchronous Languages"],"prefix":"10.1007","author":[{"given":"Axel","family":"Poign\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leszek","family":"Holenderski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,5,21]]},"reference":[{"key":"19_CR1","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"Berry, G., Gonthier, G., The synchronous programming language Esterel: design, semantics, implementation. Science of Computer Programming, 19:87\u2013152, 1992.","journal-title":"Science of Computer Programming"},{"key":"19_CR2","first-page":"95","volume":"17","author":"G. Berry","year":"1992","unstructured":"Berry, G, A hardware implementation of pure Esterel. Sadhana, Academy Proceedings in Engineering Sciencies, Indian Academy of Sciences, 17:95\u2013130, 1992.","journal-title":"Sadhana, Academy Proceedings in Engineering Sciencies, Indian Academy of Sciences"},{"unstructured":"Budde, R., Sylla, K.H., Objekt-orientierte Echtzeitanwendungen auf Grundlage perfekter Synchronisation, Object-Spektrum, Feb. 1995","key":"19_CR3"},{"doi-asserted-by":"crossref","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D., The synchronous data flow programming language Lustre, Proceedings of the IEEE, 79(9):1305\u20131321, Sept. 1991.","key":"19_CR4","DOI":"10.1109\/5.97300"},{"issue":"3","key":"19_CR5","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, 8(3) 231\u2013274, 1987","journal-title":"Science of Computer Programming"},{"unstructured":"Holenderski, L., Poign\u00e9, A., The Multi-Paradigm Synchronous Programming Language LEA, submitted, 97","key":"19_CR6"},{"doi-asserted-by":"crossref","unstructured":"Le Guernic, P., Gautier, T., Le Borgne, M., Le Maire, C., Programming Real-time Applications with SIGNAL, Proceedings of the IEEE, 79(9), Sept. 1991","key":"19_CR7","DOI":"10.1109\/5.97301"},{"unstructured":"Maffeis, O., Poign\u00e9, A., Synchronous Automata for Reactive, Real-time, and Embedded Systems, Arbeitspapiere der GMD 964, Forschungszentrum Informationstechnik GmbH, Jan. 1996. ( http:\/\/set.gmd.de\/EES\/papers\/SAforRRES\/SAforRRES.html )","key":"19_CR8"},{"key":"19_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"550","DOI":"10.1007\/BFb0084815","volume-title":"Proceedings of CONCUR\u201992","author":"F. Maraninchi","year":"1992","unstructured":"Maraninchi, F., Operational and compositional semantics of synchronous automaton compositions, In Proceedings of CONCUR\u201992, volume 630 of Lecture Notes in Computer Science, Springer-Verlag, 550\u2013564, Aug. 1992."},{"doi-asserted-by":"crossref","unstructured":"Maranchini, F, Y.R\u00e9mond, Y., Mode-Automata: About Modes and States in Reactive Systems, Research Report, Verimag, 1997","key":"19_CR10","DOI":"10.1007\/BFb0053571"},{"unstructured":"Poign\u00e9, A., Maffeis, O., Morley, M., Holenderski, L., Budde, R., The Synchronous Approach to Designing Reactive Systems, In: Formal Methods in System Design, Kluwer, 1998 (an earlier version can be found at http:\/\/set.gmd.de\/EES\/papers\/SP.ps.gz )","key":"19_CR11"},{"unstructured":"Poign\u00e9, A., Holenderski, L., Boolean automata for implementing pure Esterel, Arbeitspapiere der GMD 964, Forschungszentrum Informationstechnik GmbH, 1-47, Dec. 1995. ( http:\/\/set.gmd.de\/EES\/papers\/E2BA.ps.gz )","key":"19_CR12"},{"doi-asserted-by":"crossref","unstructured":"Shiple, T.R., Berry, G., Toutai, H., Constructive Analysis of Cyclic Circuits, In: Proceedings of the European Design and Testing Conference, IEEE Computer Society, March 1996","key":"19_CR13","DOI":"10.1109\/EDTC.1996.494321"},{"unstructured":"The Synchrony Workbench, http:\/\/set.gmd.de\/EES\/synchrony\/swb.html","key":"19_CR14"}],"container-title":["Lecture Notes in Computer Science","Compositionality: The Significant Difference"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49213-5_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,5]],"date-time":"2019-05-05T20:14:30Z","timestamp":1557087270000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49213-5_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540654933","9783540492139"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-49213-5_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}