{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:17Z","timestamp":1761611177981},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,3,1]],"date-time":"2006-03-01T00:00:00Z","timestamp":1141171200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form Method Syst Des"],"published-print":{"date-parts":[[2006,3]]},"DOI":"10.1007\/s10703-006-7844-8","type":"journal-article","created":{"date-parts":[[2006,5,4]],"date-time":"2006-05-04T07:50:01Z","timestamp":1146729001000},"page":"111-130","source":"Crossref","is-referenced-by-count":40,"title":["Concurrency in Synchronous Systems"],"prefix":"10.1007","volume":"28","author":[{"given":"Dumitru","family":"Potop-Butucaru","sequence":"first","affiliation":[]},{"given":"Beno\u00eet","family":"Caillaud","sequence":"additional","affiliation":[]},{"given":"Albert","family":"Benveniste","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,3]]},"reference":[{"key":"7844_CR1","unstructured":"MathWorks\u2014Simulink.http:\/\/www.mathworks.com\/products\/simulink\/"},{"key":"7844_CR2","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1006\/inco.2000.9999","volume":"163","author":"A Benveniste","year":"2000","unstructured":"Benveniste A, Caillaud B, Le Guernic P (2000) Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation. Inform Computation 163:125\u2013171","journal-title":"Inform Computation"},{"key":"7844_CR3","doi-asserted-by":"crossref","unstructured":"Benveniste A, Carloni L, Caspi P, Sangiovanni-Vincentelli A (2003) Heterogenous Reactive Systems Modeling and Correct-by-Construction Deployment. In: Proceedings of EMSOFT\u201903. Philadelphia, Pennsylvania, USA","DOI":"10.1007\/978-3-540-45212-6_4"},{"key":"7844_CR4","doi-asserted-by":"crossref","unstructured":"Benveniste A, Caspi P, Edwards S, Halbwachs N, Le Guernic P, de Simone R (2003) The Synchronous Languages Twelve Years Later. In: Proceedings of the IEEE","DOI":"10.1109\/JPROC.2002.805826"},{"issue":"2","key":"7844_CR5","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G Berry","year":"1992","unstructured":"Berry G, Gonthier G (1992) The Esterel Synchronous Programming Language: Design, Semantics, Implementation. Sci Comp Program 19(2):87\u2013152","journal-title":"Sci Comp Program"},{"issue":"9","key":"7844_CR6","doi-asserted-by":"crossref","first-page":"1059","DOI":"10.1109\/43.945302","volume":"20","author":"C Carloni","year":"2001","unstructured":"Carloni C, McMillan K, Sangiovanni-Vincentelli A (2001) The Theory of Latency-Insensitive Design. IEEE Trans Comp-Aided Des Integ Cir Syst 20(9):1059\u20131076","journal-title":"IEEE Trans Comp-Aided Des Integ Cir Syst"},{"key":"7844_CR7","doi-asserted-by":"crossref","unstructured":"Cortadella J, Kishinevsky M, Kondratiev A, Lavagno L, Yakovlev A (2002) Logic Synthesis of Asynchronous Controllers and Interfaces. Springer","DOI":"10.1007\/978-3-642-55989-1"},{"key":"7844_CR8","doi-asserted-by":"crossref","unstructured":"Diekert V, Rozenberg G (eds.) (1995) The Book of Traces. World Scientific","DOI":"10.1142\/2563"},{"key":"7844_CR9","doi-asserted-by":"crossref","unstructured":"Halbwachs N (1993) Synchronous programming of reactive systems. Kluwer Academic Publishers","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"7844_CR11","first-page":"1305","volume":"79","author":"N Halbwachs","year":"1991","unstructured":"Halbwachs N, Caspi P, Raymond P, Pilaud D (1991) The Synchronous Dataflow Programming Language Lustre. In: Proceedings of the IEEE 79:1305\u20131320","journal-title":"Lustre"},{"issue":"3","key":"7844_CR12","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel D (1987) Statecharts: A visual formulation for complex systems. Science of Computer Programming 8(3):231\u2013274","journal-title":"Science of Computer Programming"},{"key":"7844_CR13","unstructured":"Kopetz H (1997) Real-Time Systems, Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers"},{"key":"7844_CR14","doi-asserted-by":"crossref","first-page":"1321","DOI":"10.1109\/5.97301","volume":"79","author":"P Guernic Le","year":"1991","unstructured":"Le Guernic P, Gauthier T, Le Borgne M, Le Maire C (1991) Programming real-time applications with Signal. In: Proceedings of the IEEE, Vol. 79, pp. 1321\u20131336","journal-title":"Proceedings of the IEEE"},{"issue":"1","key":"7844_CR15","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0890-5401(89)90066-7","volume":"82","author":"N Lynch","year":"1989","unstructured":"Lynch N, Stark E (1989) A Proof of the Kahn Principle for Input\/Output Automata. Inform Comput 82(1):81\u201392","journal-title":"Inform Comput"},{"key":"7844_CR16","unstructured":"Potop-Butucaru D, Caillaud B, Benveniste A (2004) Concurrency in Synchronous Systems. RR 5110, INRIA.http:\/\/www.inria.fr\/rrrt\/rr-5110.html"},{"key":"7844_CR17","doi-asserted-by":"crossref","unstructured":"Potop-Butucaru D, de Simone R, Talpin J-P (2005) The synchronous hypothesis and synchronous languages. In: R. Zurawski (ed.), The Embedded Systems Handbook. CRC Press. to appear","DOI":"10.1201\/9781420038163.ch8"},{"issue":"2","key":"7844_CR18","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1109\/43.743711","volume":"18","author":"K Yun","year":"1999","unstructured":"Yun K, Dill D (1999) Automatic Synthesis of Extended Burst-Mode Circuits. IEEE Trans Comp-Aided Des Integ Cir Syst 18(2):101\u2013132","journal-title":"IEEE Trans Comp-Aided Des Integ Cir Syst"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-006-7844-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-006-7844-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-006-7844-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T18:01:02Z","timestamp":1559239262000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-006-7844-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,3]]},"references-count":17,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,3]]}},"alternative-id":["7844"],"URL":"https:\/\/doi.org\/10.1007\/s10703-006-7844-8","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,3]]}}}