{"id":"https://openalex.org/W1892567508","doi":"https://doi.org/10.3233/fi-2009-0051","title":"Associativity of Infinite Synchronized Shuffles and Team Automata","display_name":"Associativity of Infinite Synchronized Shuffles and Team Automata","publication_year":2009,"publication_date":"2009-05-01","ids":{"openalex":"https://openalex.org/W1892567508","doi":"https://doi.org/10.3233/fi-2009-0051","mag":"1892567508"},"language":"en","primary_location":{"id":"doi:10.3233/fi-2009-0051","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2009-0051","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"},"type":"article","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/A5064415269","display_name":"Maurice H. ter Beek","orcid":"https://orcid.org/0000-0002-2930-6367"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Maurice H. ter Beek","raw_affiliation_strings":["Istituto di Scienza e Tecnologie dell'Informazione \"A.\r\t\t\t Faedo\", CNR, Via G. Moruzzi 1, 56124 Pisa, Italy.\r\t\t\t maurice.terbeek@isti.cnr.it","(Correspd. Istituto di Scienza e Tecnologie dell'Informazione A. Faedo, CNR, Via G. Moruzzi 1, 56124 Pisa, Italy) Istituto di Scienza e Tecnologie dell'Informazione \"A. Faedo, CNR, Via G. Moruz "],"affiliations":[{"raw_affiliation_string":"Istituto di Scienza e Tecnologie dell'Informazione \"A.\r\t\t\t Faedo\", CNR, Via G. Moruzzi 1, 56124 Pisa, Italy.\r\t\t\t maurice.terbeek@isti.cnr.it","institution_ids":["https://openalex.org/I122991210"]},{"raw_affiliation_string":"(Correspd. Istituto di Scienza e Tecnologie dell'Informazione A. Faedo, CNR, Via G. Moruzzi 1, 56124 Pisa, Italy) Istituto di Scienza e Tecnologie dell'Informazione \"A. Faedo, CNR, Via G. Moruz ","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014564304","display_name":"Jetty Kleijn","orcid":"https://orcid.org/0000-0001-9506-4071"},"institutions":[{"id":"https://openalex.org/I121797337","display_name":"Leiden University","ror":"https://ror.org/027bh9e22","country_code":"NL","type":"education","lineage":["https://openalex.org/I121797337"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jetty Kleijn","raw_affiliation_strings":["Leiden Institute of Advanced Computer Science,\r\t\t\t Universiteit Leiden, P.O. Box 9512, 2300 RA Leiden, The Netherlands.\r\t\t\t kleijn@liacs.nl"],"affiliations":[{"raw_affiliation_string":"Leiden Institute of Advanced Computer Science,\r\t\t\t Universiteit Leiden, P.O. Box 9512, 2300 RA Leiden, The Netherlands.\r\t\t\t kleijn@liacs.nl","institution_ids":["https://openalex.org/I121797337"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5064415269"],"corresponding_institution_ids":["https://openalex.org/I122991210"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.06263829,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"91","issue":"3-4","first_page":"437","last_page":"461"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11125","display_name":"Petri Nets in System Modeling","score":0.994700014591217,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11567","display_name":"semigroups and automata theory","score":0.9939000010490417,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/symbol","display_name":"Symbol (formal)","score":0.7007304430007935},{"id":"https://openalex.org/keywords/word","display_name":"Word (group theory)","score":0.6966744065284729},{"id":"https://openalex.org/keywords/associative-property","display_name":"Associative property","score":0.653590202331543},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6292589902877808},{"id":"https://openalex.org/keywords/prefix","display_name":"Prefix","score":0.62252277135849},{"id":"https://openalex.org/keywords/interleaving","display_name":"Interleaving","score":0.5737290382385254},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5523930191993713},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.4642186164855957},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.42981964349746704},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.42387694120407104},{"id":"https://openalex.org/keywords/principle-of-compositionality","display_name":"Principle of compositionality","score":0.4219071865081787},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40486082434654236},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.39038482308387756},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.358970582485199},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1823623776435852},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.13937819004058838},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09446525573730469},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.08474954962730408}],"concepts":[{"id":"https://openalex.org/C134400042","wikidata":"https://www.wikidata.org/wiki/Q2372244","display_name":"Symbol (formal)","level":2,"score":0.7007304430007935},{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.6966744065284729},{"id":"https://openalex.org/C159423971","wikidata":"https://www.wikidata.org/wiki/Q177251","display_name":"Associative property","level":2,"score":0.653590202331543},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6292589902877808},{"id":"https://openalex.org/C141603448","wikidata":"https://www.wikidata.org/wiki/Q134830","display_name":"Prefix","level":2,"score":0.62252277135849},{"id":"https://openalex.org/C28034677","wikidata":"https://www.wikidata.org/wiki/Q17092530","display_name":"Interleaving","level":2,"score":0.5737290382385254},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5523930191993713},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.4642186164855957},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.42981964349746704},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.42387694120407104},{"id":"https://openalex.org/C121375916","wikidata":"https://www.wikidata.org/wiki/Q936559","display_name":"Principle of compositionality","level":2,"score":0.4219071865081787},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40486082434654236},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.39038482308387756},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.358970582485199},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1823623776435852},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.13937819004058838},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09446525573730469},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.08474954962730408},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/fi-2009-0051","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2009-0051","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"},{"id":"pmh:oai:dnet:people______::4aee1a0c97268d6e961e3a356447467b","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S7407055261","display_name":"ISTI Open Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"FUNDAMENTA INFORMATICAE, vol. 91 (issue 3-4), pp. 437-461","raw_type":"Journal article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.47999998927116394}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W3242420","https://openalex.org/W1484878272","https://openalex.org/W1493078761","https://openalex.org/W1498342204","https://openalex.org/W1504757119","https://openalex.org/W1519057419","https://openalex.org/W1553204753","https://openalex.org/W1563982778","https://openalex.org/W1569936610","https://openalex.org/W1571889205","https://openalex.org/W1577059114","https://openalex.org/W1582292473","https://openalex.org/W1635425870","https://openalex.org/W1812404936","https://openalex.org/W1965308680","https://openalex.org/W1967959761","https://openalex.org/W1975460338","https://openalex.org/W1978996774","https://openalex.org/W1983313019","https://openalex.org/W1983533724","https://openalex.org/W1993983161","https://openalex.org/W2018389955","https://openalex.org/W2037185109","https://openalex.org/W2039019493","https://openalex.org/W2043452331","https://openalex.org/W2062458205","https://openalex.org/W2066429787","https://openalex.org/W2089182307","https://openalex.org/W2092602906","https://openalex.org/W2097198651","https://openalex.org/W2103798031","https://openalex.org/W2107552120","https://openalex.org/W2109919342","https://openalex.org/W2129384397","https://openalex.org/W2146535551","https://openalex.org/W2153580110","https://openalex.org/W2158081632","https://openalex.org/W2163567867","https://openalex.org/W2569361512","https://openalex.org/W2579633295","https://openalex.org/W2912870087","https://openalex.org/W3013442367","https://openalex.org/W3080365568"],"related_works":["https://openalex.org/W4251923961","https://openalex.org/W1526190050","https://openalex.org/W2477397717","https://openalex.org/W1655266410","https://openalex.org/W2500457737","https://openalex.org/W4287025733","https://openalex.org/W137102759","https://openalex.org/W2615302903","https://openalex.org/W1546526613","https://openalex.org/W2584929923"],"abstract_inverted_index":{"Motivated":[0],"by":[1],"different":[2,60],"ways":[3],"to":[4,107,109],"obtain":[5],"team":[6,182],"automata":[7,183],"from":[8,58],"synchronizing":[9],"component":[10],"automata,":[11],"we":[12,161],"consider":[13,162],"various":[14],"definitions":[15],"of":[16,19,23,29,37,42,54,74,134,137,141,154,167,172],"synchronized":[17,48,117,126,135,157],"shuffles":[18,136],"words.":[20,45],"A":[21],"shuffle":[22,82,118,127,158],"two":[24,44,52],"words":[25,76,143],"is":[26,78,148],"an":[27,91],"interleaving":[28],"their":[30],"symbol":[31],"occurrenceswhich":[32],"preserves":[33],"the":[34,43,75,88,101,110,116,138,142,152],"original":[35],"order":[36],"these":[38,176],"occurrences":[39,53,106],"within":[40],"each":[41,57],"In":[46,69,145],"a":[47,59,66,80,132,164],"shuffle,":[49],"however,":[50],"also":[51,84,169],"one":[55,73],"symbol,":[56],"word,":[61],"may":[62,94],"be":[63,85,129],"identified":[64],"as":[65,131],"single":[67],"occurrence.":[68],"case":[70,171],"at":[71],"least":[72],"involved":[77],"infinite,":[79],"(synchronized)":[81],"can":[83,128],"unfair":[86],"in":[87,170],"sense":[89],"that":[90,114,150,160],"infinite":[92],"word":[93,103],"prevail":[95],"fromsome":[96],"point":[97],"onwards":[98],"even":[99],"when":[100],"other":[102],"still":[104],"has":[105],"contribute":[108],"shuffle.":[111],"We":[112],"prove":[113],"for":[115,181],"operations":[119,159],"under":[120],"consideration,":[121],"every":[122],"(fair":[123],"or":[124],"unfair)":[125],"obtained":[130],"limit":[133],"finite":[139],"prefixes":[140],"involved.":[144],"addition,":[146],"it":[147],"shown":[149],"with":[151],"exception":[153],"one,":[155],"all":[156],"satisfy":[163],"natural":[165],"notion":[166],"associativity,":[168],"unfairness.":[173],"Finally,":[174],"using":[175],"results,":[177],"some":[178],"compositionality":[179],"results":[180],"are":[184],"established.":[185]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-03-02T08:37:19.008085","created_date":"2025-10-10T00:00:00"}