{"id":"https://openalex.org/W2891752042","doi":"https://doi.org/10.1145/3231596","title":"Relating Paths in Transition Systems","display_name":"Relating Paths in Transition Systems","publication_year":2018,"publication_date":"2018-07-31","ids":{"openalex":"https://openalex.org/W2891752042","doi":"https://doi.org/10.1145/3231596","mag":"2891752042"},"language":"en","primary_location":{"id":"doi:10.1145/3231596","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3231596","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","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/A5069463747","display_name":"C\u0103t\u0103lin Dima","orcid":"https://orcid.org/0000-0001-5981-4533"},"institutions":[{"id":"https://openalex.org/I197681013","display_name":"Universit\u00e9 Paris-Est Cr\u00e9teil","ror":"https://ror.org/05ggc9x40","country_code":"FR","type":"education","lineage":["https://openalex.org/I197681013"]},{"id":"https://openalex.org/I2800365227","display_name":"Paris-Est Sup","ror":"https://ror.org/0268ecp52","country_code":"FR","type":"education","lineage":["https://openalex.org/I2800365227"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Catalin Dima","raw_affiliation_strings":["Universit\u00e9 Paris-Est, France","Universit\u00e9 Paris-Est Cr\u00e9teil Val-de-Marne - Paris 12"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Paris-Est, France","institution_ids":["https://openalex.org/I2800365227"]},{"raw_affiliation_string":"Universit\u00e9 Paris-Est Cr\u00e9teil Val-de-Marne - Paris 12","institution_ids":["https://openalex.org/I2800365227","https://openalex.org/I197681013"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020611616","display_name":"Bastien Maubert","orcid":"https://orcid.org/0000-0002-9081-2920"},"institutions":[{"id":"https://openalex.org/I71267560","display_name":"University of Naples Federico II","ror":"https://ror.org/05290cv24","country_code":"IT","type":"education","lineage":["https://openalex.org/I71267560"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Bastien Maubert","raw_affiliation_strings":["Universit\u00e0 degli Studi di Napoli \u201cFederico II\u201d, Italy","[Universit\u00e0 degli Studi di Napoli Federico II, Italy]"],"raw_orcid":"https://orcid.org/0000-0002-9081-2920","affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Napoli \u201cFederico II\u201d, Italy","institution_ids":["https://openalex.org/I71267560"]},{"raw_affiliation_string":"[Universit\u00e0 degli Studi di Napoli Federico II, Italy]","institution_ids":["https://openalex.org/I71267560"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045320227","display_name":"Sophie Pinchinat","orcid":"https://orcid.org/0000-0002-0901-8480"},"institutions":[{"id":"https://openalex.org/I56067802","display_name":"Universit\u00e9 de Rennes","ror":"https://ror.org/015m7wh34","country_code":"FR","type":"education","lineage":["https://openalex.org/I56067802"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Sophie Pinchinat","raw_affiliation_strings":["Universit\u00e9 de Rennes 1, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Rennes 1, France","institution_ids":["https://openalex.org/I56067802"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3379,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.69049521,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"19","issue":"3","first_page":"1","last_page":"33"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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/bisimulation","display_name":"Bisimulation","score":0.7857682704925537},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6792433261871338},{"id":"https://openalex.org/keywords/binary-relation","display_name":"Binary relation","score":0.6580615639686584},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.6282134056091309},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.5385201573371887},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5366563200950623},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.48365887999534607},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.45337340235710144},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.44733110070228577},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.44595766067504883},{"id":"https://openalex.org/keywords/de-bruijn-sequence","display_name":"De Bruijn sequence","score":0.44341331720352173},{"id":"https://openalex.org/keywords/binary-tree","display_name":"Binary tree","score":0.43712741136550903},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.40366697311401367},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.2927044630050659},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.1617547571659088},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.14888247847557068},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.10967278480529785}],"concepts":[{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.7857682704925537},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6792433261871338},{"id":"https://openalex.org/C65180967","wikidata":"https://www.wikidata.org/wiki/Q130901","display_name":"Binary relation","level":2,"score":0.6580615639686584},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.6282134056091309},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.5385201573371887},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5366563200950623},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.48365887999534607},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.45337340235710144},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.44733110070228577},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.44595766067504883},{"id":"https://openalex.org/C170320093","wikidata":"https://www.wikidata.org/wiki/Q1953457","display_name":"De Bruijn sequence","level":2,"score":0.44341331720352173},{"id":"https://openalex.org/C197855036","wikidata":"https://www.wikidata.org/wiki/Q380172","display_name":"Binary tree","level":2,"score":0.43712741136550903},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.40366697311401367},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.2927044630050659},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.1617547571659088},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.14888247847557068},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.10967278480529785},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3231596","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3231596","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3548152537","display_name":null,"funder_award_id":"ANR-11-BS02-0004","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":false,"pdf":false},"content_urls":null,"referenced_works_count":60,"referenced_works":["https://openalex.org/W199673169","https://openalex.org/W824553004","https://openalex.org/W1505482284","https://openalex.org/W1527706278","https://openalex.org/W1538974513","https://openalex.org/W1547562281","https://openalex.org/W1547981982","https://openalex.org/W1565227122","https://openalex.org/W1570009926","https://openalex.org/W1582530007","https://openalex.org/W1591239571","https://openalex.org/W1594997032","https://openalex.org/W1623604111","https://openalex.org/W1645519945","https://openalex.org/W1769923558","https://openalex.org/W1816620374","https://openalex.org/W1963646041","https://openalex.org/W1965611063","https://openalex.org/W1966063923","https://openalex.org/W2001748564","https://openalex.org/W2003017965","https://openalex.org/W2003386597","https://openalex.org/W2010508644","https://openalex.org/W2015640848","https://openalex.org/W2016206563","https://openalex.org/W2020824258","https://openalex.org/W2020861083","https://openalex.org/W2024664992","https://openalex.org/W2048183302","https://openalex.org/W2048905609","https://openalex.org/W2049766150","https://openalex.org/W2054860648","https://openalex.org/W2055092188","https://openalex.org/W2060375000","https://openalex.org/W2061100541","https://openalex.org/W2067464091","https://openalex.org/W2069709605","https://openalex.org/W2069888227","https://openalex.org/W2076284895","https://openalex.org/W2092977061","https://openalex.org/W2112476716","https://openalex.org/W2113798763","https://openalex.org/W2113800199","https://openalex.org/W2124876285","https://openalex.org/W2128610788","https://openalex.org/W2131663704","https://openalex.org/W2138793937","https://openalex.org/W2147183778","https://openalex.org/W2156851305","https://openalex.org/W2162583406","https://openalex.org/W2169393469","https://openalex.org/W2169649493","https://openalex.org/W2248109043","https://openalex.org/W2282576365","https://openalex.org/W2484558358","https://openalex.org/W2951492900","https://openalex.org/W2962838616","https://openalex.org/W2963616032","https://openalex.org/W3140030144","https://openalex.org/W4235239597"],"related_works":["https://openalex.org/W1561726863","https://openalex.org/W2393457982","https://openalex.org/W2950451044","https://openalex.org/W2810752651","https://openalex.org/W2121590963","https://openalex.org/W1687545754","https://openalex.org/W2977638645","https://openalex.org/W4294810627","https://openalex.org/W2373879591","https://openalex.org/W4288101226"],"abstract_inverted_index":{"We":[0,40,56,109,212],"revisit":[1],"Janin":[2],"and":[3,85,96,127,249],"Walukiewicz\u2019s":[4],"classic":[5,140],"result":[6],"on":[7,188],"the":[8,12,26,31,50,54,86,91,97,101,124,150,162,174,192,200,206,209,220,233],"expressive":[9,130],"completeness":[10,178],"of":[11,33,64,71,83,103,123,152,165,208,222],"modal":[13],"mu-calculus":[14,27,99,194],"with":[15,93,147,167,227,251],"respect":[16],"to":[17,30,80,121],"Monadic":[18],"Second":[19],"Order":[20],"Logic":[21],"(MSO),":[22],"which":[23,104],"is":[24,36,230],"where":[25,61],"corresponds":[28],"precisely":[29],"fragment":[32,164],"MSO":[34,84,92,166],"that":[35,42,88,112,136,191,215,243],"invariant":[37],"under":[38],"bisimulation.":[39],"show":[41,111,135],"adding":[43],"binary":[44,74,114,142],"relations":[45,115],"over":[46],"finite":[47,62],"paths":[48,63,94,168],"in":[49,156,161,173,225,232],"picture":[51],"may":[52],"alter":[53],"situation.":[55],"consider":[57],"a":[58,72,138,153,196],"general":[59],"setting":[60,77],"transition":[65],"systems":[66],"are":[67],"linked":[68],"by":[69],"means":[70],"fixed":[73],"relation.":[75,183],"This":[76],"gives":[78],"rise":[79],"natural":[81],"extensions":[82],"mu-calculus,":[87],"we":[89,105,134,237],"call":[90],"relation":[95,143],"jumping":[98,175,193,201,210,234,244],",":[100,204],"expressivities":[102],"aim":[106],"at":[107],"comparing.":[108],"first":[110],"\u201cbounded-memory\u201d":[113],"bring":[116],"about":[117],"no":[118],"additional":[119],"expressivity":[120],"either":[122],"two":[125],"logics,":[126],"thus":[128,179],"preserve":[129],"completeness.":[131],"In":[132],"contrast,":[133],"for":[137,181,216],"natural,":[139],"\u201cinfinite-memory\u201d":[141],"stemming":[144],"from":[145,239],"games":[146,226],"imperfect":[148,228,252],"information,":[149],"existence":[151,221],"winning":[154,218,223],"strategy":[155],"such":[157],"games,":[158],"though":[159],"expressible":[160,231],"bisimulation-invariant":[163],"relation,":[169],"cannot":[170,246],"be":[171,247],"expressed":[172],"mu-calculus.":[176,211,235],"Expressive":[177],"fails":[180],"this":[182],"These":[184],"results":[185],"crucially":[186],"rely":[187],"our":[189,240],"observation":[190],"has":[195],"tree":[197,202],"automata":[198,203,245],"counterpart:":[199],"hence":[205],"name":[207],"also":[213],"prove":[214],"observable":[217],"conditions,":[219],"strategies":[224],"information":[229,253],"Finally,":[236],"derive":[238],"main":[241],"theorem":[242],"projected,":[248],"ATL":[250],"does":[254],"not":[255],"admit":[256],"expansion":[257],"laws.":[258]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":2}],"updated_date":"2026-06-20T22:02:38.213706","created_date":"2018-09-27T00:00:00"}