{"id":"https://openalex.org/W4400519086","doi":"https://doi.org/10.46298/lmcs-22(2:24)2026","title":"An automata-based approach for synchronizable mailbox communication","display_name":"An automata-based approach for synchronizable mailbox communication","publication_year":2026,"publication_date":"2026-05-27","ids":{"openalex":"https://openalex.org/W4400519086","doi":"https://doi.org/10.46298/lmcs-22(2:24)2026"},"language":"en","primary_location":{"id":"doi:10.46298/lmcs-22(2:24)2026","doi":"https://doi.org/10.46298/lmcs-22(2:24)2026","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-22(2:24)2026","pdf_url":"https://lmcs.episciences.org/18291/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["cwts-core","doaj","jufo-1","norway-1"],"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"volume":null,"type":"article","indexed_in":["arxiv","crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/18291/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103305944","display_name":"Romain Delpy","orcid":"https://orcid.org/0009-0006-0716-3787","observed_orcids":["https://orcid.org/0009-0006-0716-3787"]},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I15057530","display_name":"Universit\u00e9 de Bordeaux","ror":"https://ror.org/057qpr032","country_code":"FR","type":"education","lineage":["https://openalex.org/I15057530"]},{"id":"https://openalex.org/I4210142254","display_name":"Laboratoire Bordelais de Recherche en Informatique","ror":"https://ror.org/03adqg323","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I15057530","https://openalex.org/I4210142254","https://openalex.org/I4210159245","https://openalex.org/I4210160189"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Romain Delpy","raw_affiliation_strings":["LaBRI , Univ. Bordeaux , CNRS , France","LaBRI - Laboratoire Bordelais de Recherche en Informatique (Domaine Universitaire 351, cours de la Lib\u00e9ration 33405 Talence Cedex - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LaBRI , Univ. Bordeaux , CNRS , France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I15057530","https://openalex.org/I4210142254"]},{"raw_affiliation_string":"LaBRI - Laboratoire Bordelais de Recherche en Informatique (Domaine Universitaire 351, cours de la Lib\u00e9ration 33405 Talence Cedex - France)","institution_ids":["https://openalex.org/I4210142254"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044780614","display_name":"Anca Muscholl","orcid":"https://orcid.org/0000-0002-8214-204X","observed_orcids":["https://orcid.org/0000-0002-8214-204X"]},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I15057530","display_name":"Universit\u00e9 de Bordeaux","ror":"https://ror.org/057qpr032","country_code":"FR","type":"education","lineage":["https://openalex.org/I15057530"]},{"id":"https://openalex.org/I4210142254","display_name":"Laboratoire Bordelais de Recherche en Informatique","ror":"https://ror.org/03adqg323","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I15057530","https://openalex.org/I4210142254","https://openalex.org/I4210159245","https://openalex.org/I4210160189"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Anca Muscholl","raw_affiliation_strings":["LaBRI , Univ. Bordeaux , CNRS , France","LaBRI - Laboratoire Bordelais de Recherche en Informatique (Domaine Universitaire 351, cours de la Lib\u00e9ration 33405 Talence Cedex - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LaBRI , Univ. Bordeaux , CNRS , France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I15057530","https://openalex.org/I4210142254"]},{"raw_affiliation_string":"LaBRI - Laboratoire Bordelais de Recherche en Informatique (Domaine Universitaire 351, cours de la Lib\u00e9ration 33405 Talence Cedex - France)","institution_ids":["https://openalex.org/I4210142254"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080032804","display_name":"Gr\u00e9goire Sutre","orcid":"https://orcid.org/0009-0004-3839-0005","observed_orcids":["https://orcid.org/0009-0004-3839-0005"]},"institutions":[{"id":"https://openalex.org/I4210142254","display_name":"Laboratoire Bordelais de Recherche en Informatique","ror":"https://ror.org/03adqg323","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I15057530","https://openalex.org/I4210142254","https://openalex.org/I4210159245","https://openalex.org/I4210160189"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Gr\u00e9goire Sutre","raw_affiliation_strings":["LaBRI - Laboratoire Bordelais de Recherche en Informatique (Domaine Universitaire 351, cours de la Lib\u00e9ration 33405 Talence Cedex - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LaBRI - Laboratoire Bordelais de Recherche en Informatique (Domaine Universitaire 351, cours de la Lib\u00e9ration 33405 Talence Cedex - France)","institution_ids":["https://openalex.org/I4210142254"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.01451707,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"Volume 22, Issue 2","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.483599990606308,"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.483599990606308,"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/T10126","display_name":"Logic, programming, and type systems","score":0.1898999959230423,"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"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.14169999957084656,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/synchronizability","display_name":"synchronizability","score":0.777999997138977},{"id":"https://openalex.org/keywords/pspace-completeness","display_name":"PSPACE-completeness","score":0.8059999942779541},{"id":"https://openalex.org/keywords/fifo-buffer","display_name":"FIFO buffer","score":0.4699999988079071},{"id":"https://openalex.org/keywords/message-passing","display_name":"message passing","score":0.5109999775886536},{"id":"https://openalex.org/keywords/computational-complexity-analysis","display_name":"complexity analysis","score":0.33899998664855957}],"concepts":[{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.692720353603363},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6770833730697632},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2746385335922241}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.46298/lmcs-22(2:24)2026","doi":"https://doi.org/10.46298/lmcs-22(2:24)2026","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-22(2:24)2026","pdf_url":"https://lmcs.episciences.org/18291/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["cwts-core","doaj","jufo-1","norway-1"],"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2407.06968","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2407.06968","pdf_url":"https://arxiv.org/pdf/2407.06968","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:HAL:hal-05736341v1","doi":null,"is_oa":false,"landing_page_url":"https://hal.science/hal-05736341","pdf_url":null,"source":{"id":"https://openalex.org/S4406922276","display_name":"INRIA a CCSD electronic archive server","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"Logical Methods in Computer Science, 2026, 22 (2), pp.24:1-24:26. ⟨10.46298/lmcs-22(2:24)2026⟩","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:doaj.org/article:40adc3cad0f74484840b13f3c06ed071","doi":null,"is_oa":false,"landing_page_url":"https://doaj.org/article/40adc3cad0f74484840b13f3c06ed071","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"Logical Methods in Computer Science, Vol Volume 22, Issue 2 (2026)","raw_type":"article"},{"id":"doi:10.48550/arxiv.2407.06968","doi":"https://doi.org/10.48550/arxiv.2407.06968","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2407.06968","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.4230/lipics.concur.2024.22","doi":"https://doi.org/10.4230/lipics.concur.2024.22","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.concur.2024.22","pdf_url":null,"source":{"id":"https://openalex.org/S4393917817","display_name":"Leibniz international proceedings in informatics","issn_l":"1868-8969","issn":["1868-8969"],"is_oa":true,"is_in_doaj":true,"is_core":false,"listed_in":["doaj","jufo-1","norway-1"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"ConferencePaper"}],"best_oa_location":{"id":"doi:10.46298/lmcs-22(2:24)2026","doi":"https://doi.org/10.46298/lmcs-22(2:24)2026","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-22(2:24)2026","pdf_url":"https://lmcs.episciences.org/18291/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["cwts-core","doaj","jufo-1","norway-1"],"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G4819738441","display_name":"Parametric Verification of Dynamic Distributed Systems","funder_award_id":"ANR-23-CE48-0005","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4400519086.pdf","grobid_xml":"https://content.openalex.org/works/W4400519086.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"We":[0],"revisit":[1],"finite-state":[2],"communicating":[3],"systems":[4],"with":[5,103,107],"round-based":[6,105],"communication":[7,31,100],"under":[8],"mailbox":[9,99],"semantics.":[10],"Mailboxes":[11],"correspond":[12],"to":[13,33,126],"one":[14,21],"FIFO":[15],"buffer":[16,22],"per":[17,23],"process":[18],"(instead":[19],"of":[20,25,35,77,132],"pair":[24],"processes":[26,39],"in":[27,37,51,136],"peer-to-peer":[28],"systems).":[29],"Round-based":[30],"corresponds":[32],"sequences":[34],"rounds":[36,86],"which":[38],"can":[40,66],"first":[41],"send":[42],"messages,":[43],"then":[44],"only":[45],"receive":[46],"(and":[47],"receives":[48],"must":[49],"be":[50,67],"the":[52,83,95,104,128],"same":[53],"round":[54],"as":[55],"their":[56],"sends).":[57],"A":[58],"system":[59,101],"is":[60,74,113],"called":[61],"synchronizable":[62],"if":[63],"every":[64],"execution":[65,72],"re-scheduled":[68],"into":[69],"an":[70],"equivalent":[71],"that":[73,94,123],"a":[75,98,119],"sequence":[76],"rounds.":[78],"Previous":[79],"work":[80],"mostly":[81],"considered":[82,135],"setting":[84],"where":[85],"have":[87],"fixed":[88],"size.":[89],"Our":[90],"main":[91],"contribution":[92],"shows":[93],"problem":[96],"whether":[97],"complies":[102],"policy,":[106],"no":[108],"size":[109],"limitation":[110],"on":[111],"rounds,":[112],"Pspace-complete.":[114],"For":[115],"this":[116],"we":[117],"use":[118],"novel":[120],"automata-based":[121],"approach,":[122],"also":[124],"allows":[125],"determine":[127],"precise":[129],"complexity":[130],"(Pspace)":[131],"several":[133],"questions":[134],"previous":[137],"literature.":[138]},"counts_by_year":[],"updated_date":"2026-10-02T10:15:12.560889","created_date":"2024-07-11T00:00:00"}