{"id":"https://openalex.org/W2149377475","doi":"https://doi.org/10.1145/1111037.1111054","title":"<i>N</i> -synchronous Kahn networks","display_name":"<i>N</i> -synchronous Kahn networks","publication_year":2006,"publication_date":"2006-01-11","ids":{"openalex":"https://openalex.org/W2149377475","doi":"https://doi.org/10.1145/1111037.1111054","mag":"2149377475"},"language":"en","primary_location":{"id":"doi:10.1145/1111037.1111054","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1111037.1111054","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5063162788","display_name":"Albert Cohen","orcid":"https://orcid.org/0000-0002-8866-5343"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210144804","display_name":"Laboratoire de Recherche en Informatique","ror":"https://ror.org/04e3ktk27","country_code":"FR","type":"facility","lineage":["https://openalex.org/I102197404","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210144804","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Albert Cohen","raw_affiliation_strings":["ALCHEMY Group, INRIA Futurs and LRI, Paris-Sud 11 University, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ALCHEMY Group, INRIA Futurs and LRI, Paris-Sud 11 University, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I4210144804"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051508511","display_name":"Marc Duranton","orcid":"https://orcid.org/0000-0003-3762-264X"},"institutions":[{"id":"https://openalex.org/I4210122849","display_name":"Philips (Netherlands)","ror":"https://ror.org/02p2bgp27","country_code":"NL","type":"company","lineage":["https://openalex.org/I4210122849"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Marc Duranton","raw_affiliation_strings":["Philips Research Laboratories, Eindhoven, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Philips Research Laboratories, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I4210122849"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5105937751","display_name":"Christine Eisenbeis","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210144804","display_name":"Laboratoire de Recherche en Informatique","ror":"https://ror.org/04e3ktk27","country_code":"FR","type":"facility","lineage":["https://openalex.org/I102197404","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210144804","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Christine Eisenbeis","raw_affiliation_strings":["ALCHEMY Group, INRIA Futurs and LRI, Paris-Sud 11 University, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ALCHEMY Group, INRIA Futurs and LRI, Paris-Sud 11 University, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I4210144804"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081391554","display_name":"Claire Pagetti","orcid":"https://orcid.org/0000-0001-7265-1839"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210144804","display_name":"Laboratoire de Recherche en Informatique","ror":"https://ror.org/04e3ktk27","country_code":"FR","type":"facility","lineage":["https://openalex.org/I102197404","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210144804","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Claire Pagetti","raw_affiliation_strings":["ALCHEMY Group, INRIA Futurs and LRI, Paris-Sud 11 University, France and CERT, ONERA, Toulouse, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ALCHEMY Group, INRIA Futurs and LRI, Paris-Sud 11 University, France and CERT, ONERA, Toulouse, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I4210144804"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045523984","display_name":"Florence Plateau","orcid":null},"institutions":[{"id":"https://openalex.org/I102197404","display_name":"Universit\u00e9 Paris-Sud","ror":"https://ror.org/028rypz17","country_code":"FR","type":"education","lineage":["https://openalex.org/I102197404"]},{"id":"https://openalex.org/I4210144804","display_name":"Laboratoire de Recherche en Informatique","ror":"https://ror.org/04e3ktk27","country_code":"FR","type":"facility","lineage":["https://openalex.org/I102197404","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210144804","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Florence Plateau","raw_affiliation_strings":["LRI, Paris-Sud 11 University, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LRI, Paris-Sud 11 University, France","institution_ids":["https://openalex.org/I102197404","https://openalex.org/I4210144804"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050487223","display_name":"Marc Pouzet","orcid":"https://orcid.org/0000-0002-2651-7708"},"institutions":[{"id":"https://openalex.org/I102197404","display_name":"Universit\u00e9 Paris-Sud","ror":"https://ror.org/028rypz17","country_code":"FR","type":"education","lineage":["https://openalex.org/I102197404"]},{"id":"https://openalex.org/I4210144804","display_name":"Laboratoire de Recherche en Informatique","ror":"https://ror.org/04e3ktk27","country_code":"FR","type":"facility","lineage":["https://openalex.org/I102197404","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210144804","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Marc Pouzet","raw_affiliation_strings":["LRI, Paris-Sud 11 University, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LRI, Paris-Sud 11 University, France","institution_ids":["https://openalex.org/I102197404","https://openalex.org/I4210144804"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":7.1145,"has_fulltext":false,"cited_by_count":76,"citation_normalized_percentile":{"value":0.97568915,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"180","last_page":"193"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10829","display_name":"Interconnection Networks and Systems","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8560900688171387},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5344853401184082},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.5200355052947998},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.4978005886077881},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4539317190647125},{"id":"https://openalex.org/keywords/stream-processing","display_name":"Stream processing","score":0.4525836706161499},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3840755224227905},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3562583327293396},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3530588746070862}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8560900688171387},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5344853401184082},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.5200355052947998},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.4978005886077881},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4539317190647125},{"id":"https://openalex.org/C107027933","wikidata":"https://www.wikidata.org/wiki/Q2006448","display_name":"Stream processing","level":2,"score":0.4525836706161499},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3840755224227905},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3562583327293396},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3530588746070862},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1111037.1111054","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1111037.1111054","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/8","score":0.5099999904632568,"display_name":"Decent work and economic growth"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W186740131","https://openalex.org/W191547968","https://openalex.org/W1496267491","https://openalex.org/W1502810593","https://openalex.org/W1511390137","https://openalex.org/W1531861918","https://openalex.org/W1548666647","https://openalex.org/W1557561422","https://openalex.org/W1568192366","https://openalex.org/W1586502670","https://openalex.org/W1597755753","https://openalex.org/W1609287256","https://openalex.org/W2005976511","https://openalex.org/W2022443117","https://openalex.org/W2031381504","https://openalex.org/W2051981528","https://openalex.org/W2055295051","https://openalex.org/W2087656024","https://openalex.org/W2120431055","https://openalex.org/W2125415493","https://openalex.org/W2127335869","https://openalex.org/W2128477287","https://openalex.org/W2128612657","https://openalex.org/W2130484824","https://openalex.org/W2154317164","https://openalex.org/W2160188747","https://openalex.org/W2179825846","https://openalex.org/W2217075915","https://openalex.org/W3023595663","https://openalex.org/W6633355477","https://openalex.org/W6635289408","https://openalex.org/W6635964534","https://openalex.org/W6672372597"],"related_works":["https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W4241418540","https://openalex.org/W1508895727","https://openalex.org/W2725786787","https://openalex.org/W4252501555","https://openalex.org/W2003848320"],"abstract_inverted_index":{"The":[0],"design":[1,212],"of":[2,39,65,102,139,142,151,173,195,208,275,284],"high-performance":[3,83],"stream-processing":[4],"systems":[5],"is":[6,25,154,166,235,294],"a":[7,27,61,76,170,192,200,206,213,262,266],"fast":[8],"growing":[9],"domain,":[10],"driven":[11],"by":[12,112],"markets":[13],"such":[14],"like":[15],"high-end":[16],"TV,":[17],"gaming,":[18],"3D":[19],"animation":[20],"and":[21,36,56,59,68,79,94,120,124,132,148,211,248,278,282,288],"medical":[22],"imaging.":[23],"It":[24,42],"also":[26,155],"surprisingly":[28],"demanding":[29],"task,":[30],"with":[31,144,159,169,191,205,237,296],"respect":[32],"to":[33,82,105,109,136,157,222,228],"the":[34,44,90,99,113,137,140,152,187,242,258,273,276,280,292],"algorithmic":[35],"conceptual":[37],"simplicity":[38],"streaming":[40],"applications.":[41],"needs":[43],"close":[45],"cooperation":[46],"between":[47,122],"numerical":[48],"analysts,":[49],"parallel":[50],"programming":[51,77,92],"experts,":[52],"real-time":[53],"control":[54,249],"experts":[55],"computer":[57],"architects,":[58],"incurs":[60],"very":[62],"high":[63],"level":[64],"quality":[66],"insurance":[67],"optimization.In":[69],"search":[70],"for":[71,220,251],"improved":[72],"productivity,":[73],"we":[74,198],"propose":[75],"model":[78,93,190],"language":[80,87,165,204,277,293],"dedicated":[81],"stream":[84],"processing.":[85],"This":[86,164,233],"builds":[88],"on":[89,95],"synchronous":[91,174,202,226,268],"domain":[96],"knowledge":[97],"--":[98,104],"periodic":[100,209],"evolution":[101],"streams":[103],"allow":[106,223],"correct-by-construction":[107],"properties":[108,116],"be":[110,229],"proven":[111],"compiler.":[114],"These":[115],"include":[117],"resource":[118],"requirements":[119],"delays":[121],"input":[123],"output":[125],"streams.":[126],"Automating":[127],"this":[128],"task":[129],"avoids":[130],"tedious":[131],"error-prone":[133],"engineering,":[134],"due":[135],"combinatorics":[138],"composition":[141],"filters":[143],"multiple":[145],"data":[146],"rates":[147],"formats.":[149],"Correctness":[150],"implementation":[153],"difficult":[156],"assess":[158],"traditional":[160],"(asynchronous,":[161],"simulation-based)":[162],"approaches.":[163],"thus":[167],"provided":[168],"relaxed":[171,214],"notion":[172,207],"composition,":[175],"called":[176],"n-synchrony:":[177],"two":[178,238],"processes":[179,227],"are":[180,254],"n-synchronous":[181],"if":[182],"they":[183],"can":[184],"communicate":[185],"in":[186,241],"ordinary":[188],"(0-)synchronous":[189],"FIFO":[193],"buffer":[194,246],"size":[196],"n.Technically,":[197],"extend":[199],"core":[201],"data-flow":[203],"clocks,":[210],"clock":[215,243,259,286],"calculus":[216,287],"(a":[217],"type":[218],"system":[219],"clocks)":[221],"non":[224],"strictly":[225],"composed":[230],"or":[231],"correlated.":[232],"relaxation":[234],"associated":[236],"sub-typing":[239],"rules":[240],"calculus.":[244],"Delay,":[245],"insertion":[247],"code":[250],"these":[252],"buffers":[253],"automatically":[255],"inferred":[256],"from":[257],"types":[260],"through":[261],"systematic":[263],"transformation":[264],"into":[265],"standard":[267],"program.":[269],"We":[270],"formally":[271],"define":[272],"semantics":[274],"prove":[279],"soundness":[281],"completeness":[283],"its":[285],"synchronization":[289],"transformation.":[290],"Finally,":[291],"compared":[295],"existing":[297],"formalisms.":[298]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":8}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}