{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T12:11:57Z","timestamp":1754482317857},"publisher-location":"Berlin, Heidelberg","reference-count":19,"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_3","type":"book-chapter","created":{"date-parts":[[2007,12,9]],"date-time":"2007-12-09T12:03:39Z","timestamp":1197201819000},"page":"61-80","source":"Crossref","is-referenced-by-count":7,"title":["Compositionality in dataflow synchronous languages: specification & code generation"],"prefix":"10.1007","author":[{"given":"Albert","family":"Benveniste","sequence":"first","affiliation":[]},{"given":"Paul","family":"Le Guernic","sequence":"additional","affiliation":[]},{"given":"Pascal","family":"Aubry","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,5,21]]},"reference":[{"key":"3_CR1","unstructured":"A. Benveniste and P. Le Guernic and P. Aubry, \u201cCompositionality in dataflow synchronous languages: specification & code generation\u201d, extended version of this paper, IRISA Research Report 1150, November 1997. \n                  http:\/\/www.irisa.fr\/EXTERNE\/bibli\/pi\/1150\/1150.html"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(88)90051-5","volume":"60","author":"I.J. Aabelsberg","year":"1988","unstructured":"I.J. Aabelsberg, and G. Rozenberg, Theory of traces, Theoretical Computer Science, 60, 1\u201382, 1988.","journal-title":"Theoretical Computer Science"},{"key":"3_CR3","unstructured":"P. Aubry, \u201cMises en \u0153uvre distribu\u00e9es de programmes synchrones\u201d, PhD Thesis, Univ. Rennes I, 1997."},{"issue":"9","key":"3_CR4","first-page":"1270","volume":"9","author":"A. Benveniste","year":"1991","unstructured":"A. Benveniste, G. Berry, \u201cReal-Time systems design and programming\u201d, Another look at real-time programming, special section of Proc. of the IEEE, vol. 9 n\u2218 9, September 1991, 1270\u20131282.","journal-title":"Another look at real-time programming"},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0167-6423(91)90001-E","volume":"16","author":"A. Benveniste","year":"1991","unstructured":"A. Benveniste, P. Le Guernic, and C. Jacquemot. Synchronous programming with events and relations: the SIGNAL languages and its semantics. Sci. Comp. Prog., 16:103\u2013149, 1991.","journal-title":"Sci. Comp. Prog."},{"key":"3_CR6","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"A Decade of Concurrency, reflexions and perspectives, REX School\/Symposium","author":"A. Benveniste","year":"1994","unstructured":"A. Benveniste, P. Caspi, N. Halbwachs, and P. Le Guernic, Dataflow synchronous languages. In A Decade of Concurrency, reflexions and perspectives, REX School\/Symposium, pages 1\u201345, LNCS Vol. 803, Springer Verlag, 1994."},{"key":"3_CR7","unstructured":"G\u00e9rard Berry, The Constructive Semantics of Esterel, Draft book, \n                  http:\/\/www. inria. fr\/meije\/esterel\n                  \n                , December 1995."},{"key":"3_CR8","unstructured":"B. Caillaud, P. Caspi, A. Giraud, and C. Jard, \u201cDistributing automata for asynchronous networks of processors\u201d, European Journal on Automated Systems (JESA), Hermes, 31(3), 503\u2013524, May 1997."},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/0890-5401(87)90040-X","volume":"73","author":"M. Clerbout","year":"1987","unstructured":"M. Clerbout, and M. Latteux, Semi-commutations, Information and Computation, 73, 59\u201374, 1987.","journal-title":"Information and Computation"},{"key":"3_CR10","unstructured":"Sacres Consortium, The Declarative Code DC+, Version 1.2, May 1996; Esprit project EP 20897: Sacres."},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"N. Halbwachs, Synchronous programming of reactive systems,. Kluwer Academic Pub., 1993.","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"3_CR12","unstructured":"Y. Kesten and A. Pnueli, An \u03b1STS-based common semantics for signal and Statecharts, March 1996. Sacres Manuscript."},{"issue":"2","key":"3_CR13","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1145\/69624.357207","volume":"5","author":"L. Lamport","year":"1983","unstructured":"L. Lamport, Specifying concurrent program modules, ACM Trans, on Prog. Lang, and Sys., 5(2):190\u2013222, 1983.","journal-title":"ACM Trans, on Prog. Lang, and Sys."},{"key":"3_CR14","unstructured":"L. Lamport, What good is temporal logic? In Proc. IFIP 9th World Congress, R.E.A. Mason (Ed.), North Holland, 657\u2013668, 1983."},{"issue":"9","key":"3_CR15","first-page":"1321","volume":"9","author":"P. Guernic Le","year":"1991","unstructured":"P. Le Guernic, T. Gautier, M. Le Borgne, C. Le Maire, \u201cProgramming real-time applications with Signal\u201d, Another look at real-time programming, special section of Proc. of the IEEE, vol. 9 n\u2218 9, September 1991, 1321\u20131336.","journal-title":"Another look at real-time programming"},{"key":"3_CR16","series-title":"Lect Notes Comput Sci","first-page":"149","volume-title":"in: 3rd International School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"O. Maffeis","year":"1994","unstructured":"O. Maffeis and P. Le Guernic, \u201cDistributed implementation of Signal: scheduling and graph clustering\u201d, in: 3rd International School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lecture Notes in Computer Science 863, Springer Verlag, 149\u2013169, Sept. 1994."},{"key":"3_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems: Specification","author":"Z. Manna","year":"1992","unstructured":"Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, New York, 1992."},{"key":"3_CR18","volume-title":"The Temporal Logic of Reactive and Concurrent Systems: Safety","author":"Z. Manna","year":"1995","unstructured":"Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems: Safety. Springer-Verlag, New York, 1995."},{"key":"3_CR19","unstructured":"A. Pnueli, personal communication."}],"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_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,27]],"date-time":"2019-02-27T02:30:55Z","timestamp":1551234655000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49213-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540654933","9783540492139"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-49213-5_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}