{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:11Z","timestamp":1772163971229,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,1,11]],"date-time":"2006-01-11T00:00:00Z","timestamp":1136937600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,1,11]]},"DOI":"10.1145\/1111037.1111054","type":"proceedings-article","created":{"date-parts":[[2006,2,6]],"date-time":"2006-02-06T10:52:40Z","timestamp":1139223160000},"page":"180-193","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":31,"title":["<i>N<\/i>\n                    -synchronous Kahn networks"],"prefix":"10.1145","author":[{"given":"Albert","family":"Cohen","sequence":"first","affiliation":[{"name":"ALCHEMY Group, INRIA Futurs and LRI, Paris-Sud 11 University, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Duranton","sequence":"additional","affiliation":[{"name":"Philips Research Laboratories, Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christine","family":"Eisenbeis","sequence":"additional","affiliation":[{"name":"ALCHEMY Group, INRIA Futurs and LRI, Paris-Sud 11 University, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claire","family":"Pagetti","sequence":"additional","affiliation":[{"name":"ALCHEMY Group, INRIA Futurs and LRI, Paris-Sud 11 University, France and CERT, ONERA, Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florence","family":"Plateau","sequence":"additional","affiliation":[{"name":"LRI, Paris-Sud 11 University, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Pouzet","sequence":"additional","affiliation":[{"name":"LRI, Paris-Sud 11 University, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,1,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165188"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(91)90001-E"},{"key":"e_1_3_2_1_4_1","volume-title":"The Foundations of Esterel","author":"Berry G.","year":"2000","unstructured":"G. Berry . The Foundations of Esterel . MIT Press , 2000 . G. Berry. The Foundations of Esterel. MIT Press, 2000."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337515"},{"issue":"2","key":"e_1_3_2_1_6_1","first-page":"155","article-title":"Ptolemy: A framework for simulating and prototyping heterogenous systems","volume":"4","author":"Buck J.","year":"1994","unstructured":"J. Buck , S. Ha , E. A. Lee , and D. G. Messerschmitt . Ptolemy: A framework for simulating and prototyping heterogenous systems . Int. Journal in Computer Simulation , 4 ( 2 ): 155 -- 182 , 1994 . J. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt. Ptolemy: A framework for simulating and prototyping heterogenous systems. Int. Journal in Computer Simulation, 4(2):155--182, 1994.","journal-title":"Int. Journal in Computer Simulation"},{"key":"e_1_3_2_1_7_1","series-title":"LNCS","volume-title":"EMSOFT'01","author":"Caspi P.","year":"2001","unstructured":"P. Caspi . Embedded control: From asynchrony to synchrony and back . In EMSOFT'01 , volume 2211 of LNCS , Lake Tahoe, October 2001 . Springer-Verlag . P. Caspi. Embedded control: From asynchrony to synchrony and back. In EMSOFT'01, volume 2211 of LNCS, Lake Tahoe, October 2001. Springer-Verlag."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/232627.232651"},{"key":"e_1_3_2_1_9_1","first-page":"251","volume-title":"Application-domain-driven system design for pervasive video processing. Ambient intelligence: impact on embedded system design","author":"Chamski Z.S.","year":"2003","unstructured":"Z.S. Chamski , M. Duranton , A. Cohen , C. Eisenbeis , P. Feautrier , and D. Genius . Application-domain-driven system design for pervasive video processing. Ambient intelligence: impact on embedded system design , pages 251 -- 270 , 2003 . Z.S. Chamski, M. Duranton, A. Cohen, C. Eisenbeis, P. Feautrier, and D. Genius. Application-domain-driven system design for pervasive video processing. Ambient intelligence: impact on embedded system design, pages 251--270, 2003."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086289"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017753.1017792"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"J.-L.\n      Cola\u00e7o\n     and \n      M.\n      Pouzet\n  . \n  Clocks as first class abstract types\n  . In Rajeev Alur and Insup Lee editors EMSOFT'03 volume \n  2855\n   of \n  Lecture Notes in Computer Science pages \n  134\n  --\n  155\n  . \n  Springer 2003\n  .  J.-L. Cola\u00e7o and M. Pouzet. Clocks as first class abstract types. In Rajeev Alur and Insup Lee editors EMSOFT'03 volume 2855 of Lecture Notes in Computer Science pages 134--155. Springer 2003.","DOI":"10.1007\/978-3-540-45212-6_10"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337511"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.5009446"},{"key":"e_1_3_2_1_16_1","first-page":"399","volume-title":"Interconnect and memory organization in SOCs for advanced set-top boxes and TV -- evolution, analysis, and trends","author":"Goossens K.","year":"2004","unstructured":"K. Goossens , G. Prakash , J. R\u00f6ver , and A. P. Niranjan . Interconnect and memory organization in SOCs for advanced set-top boxes and TV -- evolution, analysis, and trends . In Jari Nurmi, Hannu Tenhunen, Jouni Isoaho, and Axel Jantsch, editors, Interconnect-Centric Design for Advanced SoC and NoC, chapter 15, pages 399 -- 423 . Kluwer , April 2004 . K. Goossens, G. Prakash, J. R\u00f6ver, and A. P. Niranjan. Interconnect and memory organization in SOCs for advanced set-top boxes and TV -- evolution, analysis, and trends. In Jari Nurmi, Hannu Tenhunen, Jouni Isoaho, and Axel Jantsch, editors, Interconnect-Centric Design for Advanced SoC and NoC, chapter 15, pages 399--423. Kluwer, April 2004."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_3_2_1_18_1","first-page":"471","volume-title":"Information processing","author":"Kahn G.","year":"1974","unstructured":"G. Kahn . The semantics of a simple language for parallel programming . In J. L. Rosenfeld, editor, Information processing , pages 471 -- 475 , Stockholm, Sweden, Aug 1974 . North Holland, Amsterdam . G. Kahn. The semantics of a simple language for parallel programming. In J. L. Rosenfeld, editor, Information processing, pages 471--475, Stockholm, Sweden, Aug 1974. North Holland, Amsterdam."},{"key":"e_1_3_2_1_19_1","volume-title":"Special Issue on Application Specific Hardware Design","author":"Le Guernic P.","year":"2003","unstructured":"P. Le Guernic , J.-P. Talpin , and J.-C. Le Lann . Polychrony for system design. Journal for Circuits, Systems and Computers , Special Issue on Application Specific Hardware Design , April 2003 . P. Le Guernic, J.-P. Talpin, and J.-C. Le Lann. Polychrony for system design. Journal for Circuits, Systems and Computers, Special Issue on Application Specific Hardware Design, April 2003."},{"key":"e_1_3_2_1_20_1","volume-title":"Retiming synchronous circuitry. Algorithmica, 6(1)","author":"Leiserson C. E.","year":"1991","unstructured":"C. E. Leiserson and J. B. Saxe . Retiming synchronous circuitry. Algorithmica, 6(1) , 1991 . C. E. Leiserson and J. B. Saxe. Retiming synchronous circuitry. Algorithmica, 6(1), 1991."},{"key":"e_1_3_2_1_21_1","first-page":"91","volume-title":"proceedings of ProRISC, 15th annual Workshop of Circuits, System and Signal Processing","author":"Moonen J.M.","year":"2004","unstructured":"A. J.M. Moonen , M. Bekooij , and J. van Meerbergen . Timing analysis model for network based multiprocessor systems . In proceedings of ProRISC, 15th annual Workshop of Circuits, System and Signal Processing , pages pages 91 -- 99 , Veldhoven, The Netherlands , November 2004 . ISBN: 90-73461-43-X. A.J.M. Moonen, M. Bekooij, and J. van Meerbergen. Timing analysis model for network based multiprocessor systems. In proceedings of ProRISC, 15th annual Workshop of Circuits, System and Signal Processing, pages pages 91--99, Veldhoven, The Netherlands, November 2004. ISBN: 90-73461-43-X."},{"key":"e_1_3_2_1_22_1","volume-title":"Types and Programming Languages","author":"Pierce B. C.","year":"2002","unstructured":"B. C. Pierce . Types and Programming Languages . MIT Press , 2002 . B. C. Pierce. Types and Programming Languages. MIT Press, 2002."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/232627.232642"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/647478.727935"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.295849"}],"event":{"name":"POPL06: The 33rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 2006","location":"Charleston South Carolina USA","acronym":"POPL06","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1111037.1111054","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1111037.1111054","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:38:28Z","timestamp":1750268308000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1111037.1111054"}},"subtitle":["a relaxed model of synchrony for real-time systems"],"short-title":[],"issued":{"date-parts":[[2006,1,11]]},"references-count":24,"alternative-id":["10.1145\/1111037.1111054","10.1145\/1111037"],"URL":"https:\/\/doi.org\/10.1145\/1111037.1111054","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1111320.1111054","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2006,1,11]]},"assertion":[{"value":"2006-01-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}