{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T17:33:51Z","timestamp":1751391231980},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2013,10,1]],"date-time":"2013-10-01T00:00:00Z","timestamp":1380585600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1007\/s11704-013-3908-2","type":"journal-article","created":{"date-parts":[[2013,10,1]],"date-time":"2013-10-01T08:37:54Z","timestamp":1380616674000},"page":"673-693","source":"Crossref","is-referenced-by-count":9,"title":["A comparative study of two formal semantics of the SIGNAL language"],"prefix":"10.1007","volume":"7","author":[{"given":"Zhibin","family":"Yang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Paul","family":"Bodeveix","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mamoun","family":"Filali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,10,2]]},"reference":[{"key":"3908_CR1","first-page":"477","volume-title":"Logics and Models of Concurrent Systems","author":"D Harel","year":"1989","unstructured":"Harel D, Pnueli A. On the development of reactive systems. Logics and Models of Concurrent Systems, 1989, F(13): 477\u2013498"},{"key":"3908_CR2","first-page":"1","volume-title":"The Embedded Systems Handbook","author":"D Potop-Butucaru","year":"2005","unstructured":"Potop-Butucaru D, De Simone R, Talpin J P. The synchronous hypothesis and synchronous languages. The Embedded Systems Handbook, 2005, 1\u201321"},{"issue":"9","key":"3908_CR3","doi-asserted-by":"crossref","first-page":"1293","DOI":"10.1109\/5.97299","volume":"79","author":"F Boussinot","year":"1991","unstructured":"Boussinot F, De Simone R. The esterel language. Proceedings of the IEEE, 1991, 79(9): 1293\u20131304","journal-title":"Proceedings of the IEEE"},{"issue":"9","key":"3908_CR4","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N Halbwachs","year":"1991","unstructured":"Halbwachs N, Caspi P, Raymond P, Pilaud D. The synchronous data-flow programming language lustre. Proceedings of the IEEE, 1991, 79(9): 1305\u20131320","journal-title":"Proceedings of the IEEE"},{"key":"3908_CR5","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0167-6423(91)90001-E","volume":"16","author":"A Benveniste","year":"1991","unstructured":"Benveniste A, Le Guernic P, Jacquemot C. Synchronous programming with events and relations: the signal language and its semantics. Science of Computer Programming, 1991, 16: 103\u2013149","journal-title":"Science of Computer Programming"},{"key":"3908_CR6","volume-title":"The synchronous programming language quartz","author":"K Schneider","year":"2010","unstructured":"Schneider K. The synchronous programming language quartz. Internal Report, Department of Computer Science, University of Kaiserslautern, Germany, 2010"},{"key":"3908_CR7","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1109\/MDT.2007.151","volume":"24","author":"P Teehan","year":"2007","unstructured":"Teehan P, Greenstreet M, Lemieux G. A survey and taxonomy of gals design styles. IEEE Design and Test of Computers, 2007, 24: 418\u2013428","journal-title":"IEEE Design and Test of Computers"},{"key":"3908_CR8","first-page":"162","volume-title":"Proceedings of CONCUR 99","author":"A Benveniste","year":"1999","unstructured":"Benveniste A, Caillaud B, Le Guernic P. From synchrony to asynchrony. In: Proceedings of CONCUR 99. 1999, 162\u2013177"},{"key":"3908_CR9","volume-title":"SIGNAL V4 Reference Manual","author":"L Besnard","year":"2010","unstructured":"Besnard L, Gautier T, Le Guernic P. SIGNAL V4 Reference Manual, 2010"},{"key":"3908_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-0941-1","volume-title":"Designing Embedded Systems With the SIGNAL Programming Language","author":"A Gamati\u00e9","year":"2010","unstructured":"Gamati\u00e9 A. Designing Embedded Systems With the SIGNAL Programming Language. Springer, 2010"},{"key":"3908_CR11","first-page":"413","volume-title":"Advanced Topics in Data-Flow Computing","author":"P Guernic Le","year":"1991","unstructured":"Le Guernic P, Gautier T. Data-flow to von neumann: the signal approach. Advanced Topics in Data-Flow Computing, 1991, 413\u2013438"},{"key":"3908_CR12","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1142\/S0218126603000763","volume":"12","author":"P Guernic Le","year":"2002","unstructured":"Le Guernic P, Talpin J P, Le Lann J C. Polychrony for system design. Journal of Circuits Systems and Computers, 2002, 12: 261\u2013304","journal-title":"Journal of Circuits Systems and Computers"},{"key":"3908_CR13","first-page":"151","volume-title":"Proceedings of TACAS\u201998","author":"A Pnueli","year":"1998","unstructured":"Pnueli A, Siegel M, Singerman F. Tanslation validation. In: Proceedings of TACAS\u201998. 1998, 151\u2013166"},{"key":"3908_CR14","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1007\/BFb0055148","volume-title":"Proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics","author":"D Nowak","year":"1998","unstructured":"Nowak D, Beauvais J R, Talpin J P. Co-inductive axiomatization of a synchronous language. In: Proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics. 1998, 387\u2013399"},{"key":"3908_CR15","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1007\/3-540-44659-1_22","volume-title":"Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics","author":"M Kerboeuf","year":"2000","unstructured":"Kerboeuf M, Nowak D, Talpin J P. Specification and verification of a stream-boiler with signal-coq. In: Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics. 2000, 356\u2013371"},{"key":"3908_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07964-5","volume-title":"Interactive theorem proving and program development: Coq art: the calculus of inductive constructions","author":"Y Bertot","year":"2004","unstructured":"Bertot Y, Casteran P. Interactive theorem proving and program development: Coq art: the calculus of inductive constructions. Springer, 2004"},{"key":"3908_CR17","unstructured":"The polychrony toolset. http:\/\/www.irisa.fr\/espresso\/Polychrony"},{"issue":"2","key":"3908_CR18","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1016\/0890-5401(92)90030-J","volume":"99","author":"A Benveniste","year":"1992","unstructured":"Benveniste A, Le Guernic P, Sorel Y, Sorine M. A denotational theory of synchronous reactive systems. Information and Computation, 1992, 99(2): 192\u2013230","journal-title":"Information and Computation"},{"issue":"12","key":"3908_CR19","doi-asserted-by":"crossref","first-page":"1217","DOI":"10.1109\/43.736561","volume":"17","author":"E A Lee","year":"1998","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, 1998, 17(12): 1217\u20131229","journal-title":"IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems"},{"key":"3908_CR20","volume-title":"Introduction to Algorithms","author":"T Cormen","year":"2009","unstructured":"Cormen T, Leiserson C, Rivest R, Stein C. Introduction to Algorithms. MIT Press, 2009"},{"key":"3908_CR21","volume-title":"The synchronous programming language signal-a tutorial","author":"B Houssais","year":"2004","unstructured":"Houssais B. The synchronous programming language signal-a tutorial. 2004"},{"issue":"4","key":"3908_CR22","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1376804.1376811","volume":"7","author":"A Benveniste","year":"2008","unstructured":"Benveniste A, Caillaud B, Carloni L P, Caspi P, Sangiovanni-Vincentelli A L. Composing heterogeneous reactive systems. ACM Transactions on Embedded Computing Systems, 2008, 7(4): 1\u201336","journal-title":"ACM Transactions on Embedded Computing Systems"},{"key":"3908_CR23","first-page":"125","volume-title":"Information and Computation","author":"A Benveniste","year":"2000","unstructured":"Benveniste A, Caillaud B, Le Guernic P. Compositionality in dataflow synchronous languages: specification distributed code generation. Information and Computation, 2000, 125\u2013171"},{"key":"3908_CR24","first-page":"495","volume-title":"Proceedings of the Artificial Intelligent on Logic for Progamming (LPAR)","author":"S Boulm\u00e9","year":"2001","unstructured":"Boulm\u00e9 S, Hamon G. Certifying synchrony for free. In: Proceedings of the Artificial Intelligent on Logic for Progamming (LPAR). 2001, 495\u2013506"},{"key":"3908_CR25","first-page":"314","volume-title":"Proving the equivalence of microstep and macrostep semantics","author":"K Schneider","year":"2002","unstructured":"Schneider K. Proving the equivalence of microstep and macrostep semantics. LNCS2410, 2002, 314\u2013331"},{"key":"3908_CR26","first-page":"359","volume-title":"Proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 03","author":"M Kerboeuf","year":"2003","unstructured":"Kerboeuf M, Nowak D, Talpin J P. Formal proof of a polychronous protocol for loosely time-triggerd architectures. In: Proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 03. 2003, 359\u2013374"},{"key":"3908_CR27","first-page":"111","volume-title":"Formal Methods in System Design","author":"D Potop-Butucaru","year":"2006","unstructured":"Potop-Butucaru D, Caillaud B, Benveniste A. Concurrency in synchronous systems. Formal Methods in System Design, 2006, 111\u2013130"},{"key":"3908_CR28","volume-title":"Formal model driven software synthesis for embedded systems","author":"J B.A","year":"2011","unstructured":"B.A. J. Formal model driven software synthesis for embedded systems. PhD thesis, Virginia Polytechnic Institute and State Univeristy, 2011"},{"key":"3908_CR29","first-page":"1","volume-title":"Proceedings of Electronic System Level Synthesis Conference","author":"V Papailiopoulou","year":"2011","unstructured":"Papailiopoulou V, Potop-Butucaru D, Sorel Y, Simone D R, Besnard L, Talpin J P. From design-time concurrency to effective implementation parallelism: the multi-clock reactive case. In: Proceedings of Electronic System Level Synthesis Conference, 2011, 1\u20136"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-013-3908-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-013-3908-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-013-3908-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T21:01:18Z","timestamp":1559422878000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-013-3908-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10]]},"references-count":29,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2013,10]]}},"alternative-id":["3908"],"URL":"https:\/\/doi.org\/10.1007\/s11704-013-3908-2","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,10]]}}}