{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T15:11:47Z","timestamp":1791213107099,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540893295","type":"print"},{"value":"9783540893301","type":"electronic"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-89330-1_17","type":"book-chapter","created":{"date-parts":[[2008,11,26]],"date-time":"2008-11-26T21:43:37Z","timestamp":1227735817000},"page":"237-254","source":"Crossref","is-referenced-by-count":11,"title":["Abstraction of Clocks in Synchronous Data-Flow Systems"],"prefix":"10.1007","author":[{"given":"Albert","family":"Cohen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Louis","family":"Mandel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Florence","family":"Plateau","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marc","family":"Pouzet","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Benveniste, A., Caspi, P., Edwards, S., Halbwachs, N., Le Guernic, P., de Simone, R.: The synchronous languages 12 years later. Proceedings of the IEEE\u00a091(1) (January 2003)","DOI":"10.1109\/JPROC.2002.805826"},{"key":"17_CR2","first-page":"147","volume-title":"The synchronous approach to reactive and real-time systems","author":"A. Benveniste","year":"2002","unstructured":"Benveniste, A., Berry, G.: The synchronous approach to reactive and real-time systems, pp. 147\u2013159. Kluwer Academic Publishers, Norwell (2002)"},{"issue":"3","key":"17_CR3","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R. Milner","year":"1983","unstructured":"Milner, R.: Calculi for synchrony and asynchrony. Theoretical Computer Science\u00a025(3), 267\u2013310 (1983)","journal-title":"Theoretical Computer Science"},{"key":"17_CR4","unstructured":"Arnold, A.: Syst\u00e8mes de transitions et s\u00e9mantique des processus communicants. Masson (1992)"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Cola\u00e7o, J.L., Pouzet, M.: Clocks as First Class Abstract Types. In: Third International Conference on Embedded Software, Philadelphia, USA (2003)","DOI":"10.1007\/978-3-540-45212-6_10"},{"key":"17_CR6","first-page":"163","volume-title":"Programming Languages Design and Implementation","author":"T. Amagbegnon","year":"1995","unstructured":"Amagbegnon, T., Besnard, L., Guernic, P.L.: Implementation of the data-flow synchronous language signal. In: Programming Languages Design and Implementation, pp. 163\u2013173. ACM, New York (1995)"},{"key":"17_CR7","unstructured":"Caspi, P., Curic, A., Maignan, A., Sofronis, C., Tripakis, S.: Translating Discrete-Time Simulink to Lustre. ACM Transactions on Embedded Computing Systems (2005); Special Issue on Embedded Software"},{"key":"17_CR8","unstructured":"Scicos, \n                  \n                    http:\/\/www-rocq.inria.fr\/scicos"},{"issue":"3","key":"17_CR9","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"Milner, R.: A theory of type polymorphism in programming. Journal of Computer and System Sciences\u00a017(3), 348\u2013375 (1978)","journal-title":"Journal of Computer and System Sciences"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Cohen, A., Duranton, M., Eisenbeis, C., Pagetti, C., Plateau, F., Pouzet, M.: N-Synchronous Kahn Networks: a Relaxed Model of Synchrony for Real-Time Systems. In: ACM International Conference on Principles of Programming Languages (2006)","DOI":"10.1145\/1111037.1111054"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Lee, E., Messerschmitt, D.: Synchronous dataflow. IEEE Trans. Comput.\u00a075(9) (1987)","DOI":"10.1109\/PROC.1987.13876"},{"key":"17_CR12","unstructured":"Buck, J., Ha, S., Lee, E., Messerschmitt, D.: Ptolemy: A framework for simulating and prototyping heterogeneous systems. International Journal of computer Simulation (1994); special issue on Simulation Software Development"},{"key":"17_CR13","unstructured":"Vuillemin, J.: On Circuits and Numbers. Technical report, Digital, Paris Research Laboratory (1993)"},{"key":"17_CR14","unstructured":"Curic, A.: Implementing Lustre Programs on Distributed Platforms with Real-time Constraints. Ph.D thesis, Universit\u00e9 Joseph Fourier (2005)"},{"key":"17_CR15","unstructured":"Sofronis, C.: Embedded Code Generation from High-level Heterogeneous Components. Ph.D thesis, Universit\u00e9 Joseph Fourier (2006)"},{"key":"17_CR16","unstructured":"Halbwachs, N., Mandel, L.: Simulation and verification of asynchronous systems by means of a synchronous model. In: Sixth International Conference on Application of Concurrency to System Design, Turku, Finland (2006)"},{"key":"17_CR17","first-page":"19","volume-title":"Proceedings of the Formal Methods in Computer Aided Design","author":"S. Krstic","year":"2006","unstructured":"Krstic, S., Cortadella, J., Kishinevsky, M., O\u2019Leary, J.: Synchronous elastic networks. In: Proceedings of the Formal Methods in Computer Aided Design, Washington, DC, USA, pp. 19\u201330. IEEE Computer Society, Los Alamitos (2006)"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Boucaron, J., de Simone, R., Millo, J.V.: Formal methods for scheduling of latency-insensitive designs. EURASIP Journal on Embedded Systems\u00a0(1), 8 (2007)","DOI":"10.1186\/1687-3963-2007-039161"},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"Smarandache, I.M., Guernic, P.L.: Affine transformations in SIGNAL and their application in the specification and validation of real-time systems. In: ARTS, pp. 233\u2013247 (1997)","DOI":"10.1007\/3-540-63010-4_16"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"Smarandache, I.M., Gautier, T., Guernic, P.L.: Validation of mixed SIGNAL-ALPHA real-time systems through affine calculus on clock synchronisation constraints. In: World Congress on Formal Methods, vol.\u00a0(2), pp. 1364\u20131383 (1999)","DOI":"10.1007\/3-540-48118-4_22"},{"issue":"2","key":"17_CR21","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0167-6423(91)90001-E","volume":"16","author":"A. Benveniste","year":"1991","unstructured":"Benveniste, A., Guernic, P.L., Jacquemot, C.: Synchronous programming with events and relations: the SIGNAL language and its semantics. Sci. Comput. Program.\u00a016(2), 103\u2013149 (1991)","journal-title":"Sci. Comput. Program."},{"key":"17_CR22","unstructured":"Pouzet, M.: Lucid Synchrone, version 3. Tutorial and reference manual. Universit\u00e9 Paris-Sud, LRI (April 2006) Distribution, \n                  \n                    http:\/\/www.lri.fr\/~pouzet\/lucid-synchrone"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89330-1_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T11:50:49Z","timestamp":1558266649000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89330-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540893295","9783540893301"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89330-1_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}