{"id":"https://openalex.org/W7161482866","doi":"https://doi.org/10.1007/978-3-032-26220-2_2","title":"Asynchronous Team Automata","display_name":"Asynchronous Team Automata","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7161482866","doi":"https://doi.org/10.1007/978-3-032-26220-2_2"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-032-26220-2_2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-26220-2_2","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-26220-2_2.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-26220-2_2.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055266810","display_name":"Davide Basile","orcid":"https://orcid.org/0000-0002-7196-6609"},"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":false,"raw_author_name":"Davide Basile","raw_affiliation_strings":["Formal Methods and Tools lab, CNR\u2013ISTI, Pisa, Italy"],"raw_orcid":"https://orcid.org/0000-0002-7196-6609","affiliations":[{"raw_affiliation_string":"Formal Methods and Tools lab, CNR\u2013ISTI, Pisa, Italy","institution_ids":["https://openalex.org/I122991210"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064415269","display_name":"Maurice H. ter Beek","orcid":"https://orcid.org/0000-0002-2930-6367"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Maurice H. ter Beek","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-2930-6367","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5045860912","display_name":"Jos\u00e9 Proen\u00e7a","orcid":"https://orcid.org/0000-0003-0971-8919"},"institutions":[{"id":"https://openalex.org/I4210166615","display_name":"INESC TEC","ror":"https://ror.org/05fa8ka61","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210125590","https://openalex.org/I4210166615"]}],"countries":["PT"],"is_corresponding":true,"raw_author_name":"Jos\u00e9 Proen\u00e7a","raw_affiliation_strings":["CISTER & INESC TEC & University of Porto, Porto, Portugal"],"raw_orcid":"https://orcid.org/0000-0003-0971-8919","affiliations":[{"raw_affiliation_string":"CISTER & INESC TEC & University of Porto, Porto, Portugal","institution_ids":["https://openalex.org/I4210166615"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5045860912"],"corresponding_institution_ids":["https://openalex.org/I4210166615"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"27","last_page":"49"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.7782999873161316,"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.7782999873161316,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.05620000138878822,"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/T10126","display_name":"Logic, programming, and type systems","score":0.03240000084042549,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/asynchronous-communication","display_name":"Asynchronous communication","score":0.8650000095367432},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6007000207901001},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5927000045776367},{"id":"https://openalex.org/keywords/session","display_name":"Session (web analytics)","score":0.48579999804496765},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.4244000017642975},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.421999990940094},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.3303999900817871},{"id":"https://openalex.org/keywords/asynchrony","display_name":"Asynchrony (computer programming)","score":0.3244999945163727},{"id":"https://openalex.org/keywords/message-passing","display_name":"Message passing","score":0.31679999828338623}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9093000292778015},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.8650000095367432},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6007000207901001},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5927000045776367},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4968999922275543},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.48579999804496765},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.46639999747276306},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.4244000017642975},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.421999990940094},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.33480000495910645},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.3303999900817871},{"id":"https://openalex.org/C2779019669","wikidata":"https://www.wikidata.org/wiki/Q25203946","display_name":"Asynchrony (computer programming)","level":3,"score":0.3244999945163727},{"id":"https://openalex.org/C854659","wikidata":"https://www.wikidata.org/wiki/Q1859284","display_name":"Message passing","level":2,"score":0.31679999828338623},{"id":"https://openalex.org/C2776807809","wikidata":"https://www.wikidata.org/wiki/Q6510160","display_name":"Learning automata","level":3,"score":0.29739999771118164},{"id":"https://openalex.org/C104091681","wikidata":"https://www.wikidata.org/wiki/Q837528","display_name":"Deterministic finite automaton","level":3,"score":0.29249998927116394},{"id":"https://openalex.org/C50348692","wikidata":"https://www.wikidata.org/wiki/Q6887056","display_name":"Mobile automaton","level":4,"score":0.29010000824928284},{"id":"https://openalex.org/C13743347","wikidata":"https://www.wikidata.org/wiki/Q4812203","display_name":"Asynchronous cellular automaton","level":5,"score":0.28859999775886536},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.2822999954223633},{"id":"https://openalex.org/C158156997","wikidata":"https://www.wikidata.org/wiki/Q1416645","display_name":"Models of communication","level":2,"score":0.28139999508857727},{"id":"https://openalex.org/C7923308","wikidata":"https://www.wikidata.org/wiki/Q4812211","display_name":"Asynchronous system","level":5,"score":0.27950000762939453},{"id":"https://openalex.org/C502989409","wikidata":"https://www.wikidata.org/wiki/Q11425","display_name":"Animation","level":2,"score":0.27810001373291016},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.2757999897003174},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.27000001072883606},{"id":"https://openalex.org/C48859967","wikidata":"https://www.wikidata.org/wiki/Q6486712","display_name":"Language construct","level":2,"score":0.2542000114917755},{"id":"https://openalex.org/C12269588","wikidata":"https://www.wikidata.org/wiki/Q132364","display_name":"Communications protocol","level":2,"score":0.2531000077724457},{"id":"https://openalex.org/C185874996","wikidata":"https://www.wikidata.org/wiki/Q269699","display_name":"Interdependence","level":2,"score":0.2508000135421753}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-032-26220-2_2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-26220-2_2","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-26220-2_2.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-032-26220-2_2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-26220-2_2","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-26220-2_2.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320334779","display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","ror":"https://ror.org/00snfqn58"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7161482866.pdf","grobid_xml":"https://content.openalex.org/works/W7161482866.grobid-xml"},"referenced_works_count":56,"referenced_works":["https://openalex.org/W18866292","https://openalex.org/W85326815","https://openalex.org/W1484878272","https://openalex.org/W1488556964","https://openalex.org/W1498342204","https://openalex.org/W1550413022","https://openalex.org/W1553276218","https://openalex.org/W1564626116","https://openalex.org/W1604442026","https://openalex.org/W1959890433","https://openalex.org/W1962072139","https://openalex.org/W1989576632","https://openalex.org/W2018389955","https://openalex.org/W2025970201","https://openalex.org/W2032399648","https://openalex.org/W2033745581","https://openalex.org/W2040105559","https://openalex.org/W2043452331","https://openalex.org/W2052052450","https://openalex.org/W2073568548","https://openalex.org/W2098346263","https://openalex.org/W2107558091","https://openalex.org/W2127884079","https://openalex.org/W2133038101","https://openalex.org/W2135717968","https://openalex.org/W2139842876","https://openalex.org/W2145334549","https://openalex.org/W2157536763","https://openalex.org/W2171592977","https://openalex.org/W2293287097","https://openalex.org/W2295198353","https://openalex.org/W2529775676","https://openalex.org/W2572585876","https://openalex.org/W2619393891","https://openalex.org/W2763069638","https://openalex.org/W2782532010","https://openalex.org/W2899726318","https://openalex.org/W2982272473","https://openalex.org/W2983413613","https://openalex.org/W3034707356","https://openalex.org/W3108621583","https://openalex.org/W3140597656","https://openalex.org/W4205447169","https://openalex.org/W4252001855","https://openalex.org/W4298448333","https://openalex.org/W4312992230","https://openalex.org/W4323026868","https://openalex.org/W4380634649","https://openalex.org/W4382655660","https://openalex.org/W4385493810","https://openalex.org/W4386879846","https://openalex.org/W4388919615","https://openalex.org/W4389740700","https://openalex.org/W4399478929","https://openalex.org/W4405239397","https://openalex.org/W7106211658"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"Team":[1],"automata":[2,11,57,104,109],"were":[3],"introduced":[4],"as":[5,49,136,173],"a":[6,28,174],"flexible":[7],"extension":[8],"of":[9,46,80,151,182],"I/O":[10],"to":[12,39,77,112,118],"model":[13,113],"collaborative":[14],"behaviour":[15],"in":[16,86,116],"component-based":[17],"and":[18,27,67,83,92,129,140,148,155,158,167,180],"distributed":[19,84],"systems.":[20],"Their":[21],"distinctive":[22],"features":[23],"include":[24],"multi-party":[25,141,185],"communication":[26,64,88],"liberal":[29],"synchronisation":[30,40],"mechanism:":[31],"components":[32,47],"may":[33],"jointly":[34],"execute":[35],"shared":[36],"actions":[37],"according":[38],"policies":[41],"that":[42,163],"specify":[43],"which":[44,87,106],"subsets":[45],"participate":[48],"senders":[50,128],"or":[51],"receivers.":[52],"While":[53],"this":[54,98],"makes":[55],"team":[56,103,108],"well":[58],"suited":[59],"for":[60,70,178],"modelling":[61,179],"coordination,":[62],"existing":[63],"is":[65,89],"synchronous":[66,120],"therefore":[68],"insufficient":[69],"capturing":[71],"certain":[72],"behavioural":[73],"aspects":[74],"(e.g.,":[75],"due":[76],"message":[78,93],"reordering)":[79],"modern":[81],"networks":[82],"systems,":[85],"typically":[90],"asynchronous":[91,102,114,133],"delays":[94],"are":[95],"unpredictable.":[96],"In":[97],"paper,":[99],"we":[100],"introduce":[101],"(ATeams),":[105],"extend":[107],"with":[110],"buffers":[111],"communication,":[115],"addition":[117],"conventional":[119],"interaction.":[121],"ATeams":[122,172],"support":[123],"individual":[124],"interactions":[125],"involving":[126],"multiple":[127],"receivers,":[130],"unlike":[131],"well-known":[132],"models":[134],"such":[135],"communicating":[137],"finite-state":[138],"machines":[139],"session":[142],"types.":[143],"We":[144],"formalise":[145],"the":[146,160],"syntax":[147],"operational":[149],"semantics":[150],"ATeams,":[152],"study":[153],"well-formedness":[154],"well-behavedness":[156],"conditions,":[157],"present":[159],"prototypical":[161],"tool":[162],"supports":[164],"specification,":[165],"animation":[166],"automated":[168],"checks.":[169],"This":[170],"proposes":[171],"unifying":[175],"semantic":[176],"foundation":[177],"analysis":[181],"heterogeneous":[183],"synchronous\u2013asynchronous":[184],"interactions.":[186]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2026-05-18T00:00:00"}