{"id":"https://openalex.org/W2030846110","doi":"https://doi.org/10.1093/comjnl/bxn009","title":"Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence","display_name":"Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence","publication_year":2008,"publication_date":"2008-04-18","ids":{"openalex":"https://openalex.org/W2030846110","doi":"https://doi.org/10.1093/comjnl/bxn009","mag":"2030846110"},"language":"en","primary_location":{"id":"doi:10.1093/comjnl/bxn009","is_oa":false,"landing_page_url":"https://doi.org/10.1093/comjnl/bxn009","pdf_url":null,"source":{"id":"https://openalex.org/S44643521","display_name":"The Computer Journal","issn_l":"0010-4620","issn":["0010-4620","1460-2067"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Computer Journal","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/A5020085889","display_name":"Xiaowei Huang","orcid":"https://orcid.org/0000-0001-6267-0366"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"X. Huang","raw_affiliation_strings":["Academy of Mathematics and System Science, Chinese Academy of Sciences, 55# East Road, Zhong Guan Cun Beijing 100080, P.R. China"],"affiliations":[{"raw_affiliation_string":"Academy of Mathematics and System Science, Chinese Academy of Sciences, 55# East Road, Zhong Guan Cun Beijing 100080, P.R. China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100419499","display_name":"Jiao Li","orcid":"https://orcid.org/0000-0002-8027-5877"},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"L. Jiao","raw_affiliation_strings":["State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, 4# South Fourth Street, Zhong Guan Cun, Beijing 100190, P.R. China","#N#State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, 4 South Fourth Street, Zhong Guan Cun, Beijing 100190, P.R. China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, 4# South Fourth Street, Zhong Guan Cun, Beijing 100190, P.R. China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"#N#State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, 4 South Fourth Street, Zhong Guan Cun, Beijing 100190, P.R. China","institution_ids":["https://openalex.org/I19820366"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074342179","display_name":"Weiming L\u00fc","orcid":"https://orcid.org/0000-0002-0200-9215"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"W. Lu","raw_affiliation_strings":["Academy of Mathematics and System Science, Chinese Academy of Sciences, 55# East Road, Zhong Guan Cun Beijing 100080, P.R. China"],"affiliations":[{"raw_affiliation_string":"Academy of Mathematics and System Science, Chinese Academy of Sciences, 55# East Road, Zhong Guan Cun Beijing 100080, P.R. China","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5020085889"],"corresponding_institution_ids":[],"apc_list":{"value":2635,"currency":"GBP","value_usd":3232},"apc_paid":null,"fwci":0.4116,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.66848761,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"53","issue":"1","first_page":"21","last_page":"36"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9984999895095825,"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.9984999895095825,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.998199999332428,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9965999722480774,"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/equivalence","display_name":"Equivalence (formal languages)","score":0.7400420904159546},{"id":"https://openalex.org/keywords/parametric-statistics","display_name":"Parametric statistics","score":0.7193760871887207},{"id":"https://openalex.org/keywords/congruence","display_name":"Congruence (geometry)","score":0.6203705668449402},{"id":"https://openalex.org/keywords/weak-equivalence","display_name":"Weak equivalence","score":0.5551363825798035},{"id":"https://openalex.org/keywords/congruence-relation","display_name":"Congruence relation","score":0.5420641899108887},{"id":"https://openalex.org/keywords/algebraic-structure","display_name":"Algebraic structure","score":0.47468921542167664},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4690972566604614},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.43530598282814026},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.43223822116851807},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42743921279907227},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.42582976818084717},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.4164596199989319},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4047914147377014},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.34708595275878906},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3017480969429016},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.22914502024650574},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.07053771615028381},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.06849387288093567},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.05883127450942993},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.057818979024887085}],"concepts":[{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.7400420904159546},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.7193760871887207},{"id":"https://openalex.org/C132074034","wikidata":"https://www.wikidata.org/wiki/Q154210","display_name":"Congruence (geometry)","level":2,"score":0.6203705668449402},{"id":"https://openalex.org/C2776863286","wikidata":"https://www.wikidata.org/wiki/Q17104639","display_name":"Weak equivalence","level":3,"score":0.5551363825798035},{"id":"https://openalex.org/C9973445","wikidata":"https://www.wikidata.org/wiki/Q8349849","display_name":"Congruence relation","level":2,"score":0.5420641899108887},{"id":"https://openalex.org/C182419690","wikidata":"https://www.wikidata.org/wiki/Q205464","display_name":"Algebraic structure","level":2,"score":0.47468921542167664},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4690972566604614},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.43530598282814026},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.43223822116851807},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42743921279907227},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.42582976818084717},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.4164596199989319},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4047914147377014},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.34708595275878906},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3017480969429016},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.22914502024650574},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.07053771615028381},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.06849387288093567},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.05883127450942993},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.057818979024887085},{"id":"https://openalex.org/C74650414","wikidata":"https://www.wikidata.org/wiki/Q11397","display_name":"Classical mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C124017977","wikidata":"https://www.wikidata.org/wiki/Q11412","display_name":"Gravitation","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1093/comjnl/bxn009","is_oa":false,"landing_page_url":"https://doi.org/10.1093/comjnl/bxn009","pdf_url":null,"source":{"id":"https://openalex.org/S44643521","display_name":"The Computer Journal","issn_l":"0010-4620","issn":["0010-4620","1460-2067"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Computer Journal","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.713.4284","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.713.4284","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://users.ox.ac.uk/%7Ecoml0619/papers/cj10.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W609274549","https://openalex.org/W1503973138","https://openalex.org/W1512082605","https://openalex.org/W1543496272","https://openalex.org/W1608889792","https://openalex.org/W1966112122","https://openalex.org/W1972475472","https://openalex.org/W2017189999","https://openalex.org/W2023648368","https://openalex.org/W2041561080","https://openalex.org/W2050078030","https://openalex.org/W2070157304","https://openalex.org/W2107733072","https://openalex.org/W2118229393","https://openalex.org/W2125382028","https://openalex.org/W2125882282","https://openalex.org/W2144545266","https://openalex.org/W2154695063","https://openalex.org/W2205337852","https://openalex.org/W2340102009","https://openalex.org/W2913931721","https://openalex.org/W3000511677","https://openalex.org/W3021003119","https://openalex.org/W3144368627","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W77573719","https://openalex.org/W2385511935","https://openalex.org/W3134823879","https://openalex.org/W2382432157","https://openalex.org/W4391061523","https://openalex.org/W2801977597","https://openalex.org/W2382598115","https://openalex.org/W2594479762","https://openalex.org/W2254343561","https://openalex.org/W2963246490"],"abstract_inverted_index":{"Weak":[0],"equivalences":[1,5,28,123],"are":[2,71],"important":[3],"behavioral":[4,39],"in":[6,109],"the":[7,42,47,60,86,92,107,110,119],"course":[8],"of":[9,26,62,68,94,103],"specifying":[10],"and":[11,46],"analyzing":[12],"reactive":[13],"systems":[14],"using":[15],"process":[16],"algebraic":[17],"languages.":[18],"In":[19],"this":[20],"paper,":[21],"we":[22],"propose":[23],"a":[24,66],"series":[25,67,102],"weak":[27,30,43,48,78,97,111,120],"named":[29],"parametric":[31,79,98,112,121],"readiness":[32,44,80,99,113,122],"equivalences,":[33,40,81],"which":[34],"take":[35],"two":[36],"previously":[37],"known":[38],"i.e.":[41,82],"equivalence":[45],"possible":[49],"future":[50],"equivalence,":[51],"as":[52],"their":[53,95,126],"special":[54],"cases.":[55],"More":[56],"importantly,":[57],"based":[58],"on":[59],"idea":[61],"structural":[63],"operational":[64],"semantics,":[65],"rule":[69,88,104,128],"formats":[70,89,105,129],"presented":[72],"to":[73,83],"guarantee":[74,91],"congruence":[75,93],"for":[76],"these":[77],"show":[84],"that":[85,117],"proposed":[87],"can":[90],"corresponding":[96,127],"equivalences.":[100,114],"This":[101],"reflects":[106],"differences":[108],"We":[115],"conclude":[116],"when":[118],"become":[124],"coarser,":[125],"turn":[130],"tighter.":[131]},"counts_by_year":[],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}