{"id":"https://openalex.org/W2133777784","doi":"https://doi.org/10.1007/s00165-005-0065-x","title":"On the expressive power of CSP refinement","display_name":"On the expressive power of CSP refinement","publication_year":2005,"publication_date":"2005-06-28","ids":{"openalex":"https://openalex.org/W2133777784","doi":"https://doi.org/10.1007/s00165-005-0065-x","mag":"2133777784"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-005-0065-x","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-005-0065-x","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-005-0065-x","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-005-0065-x","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045639409","display_name":"A. W. Roscoe","orcid":"https://orcid.org/0000-0001-7557-3901"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"A.W. Roscoe","raw_affiliation_strings":["Oxford University Computing Laboratory, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK","Oxford University Computing Laboratory, Wolfson Building, Parks Road, OX1 3QD Oxford, UK#TAB#"],"affiliations":[{"raw_affiliation_string":"Oxford University Computing Laboratory, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"Oxford University Computing Laboratory, Wolfson Building, Parks Road, OX1 3QD Oxford, UK#TAB#","institution_ids":["https://openalex.org/I40120149"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5045639409"],"corresponding_institution_ids":["https://openalex.org/I40120149"],"apc_list":null,"apc_paid":null,"fwci":2.2835,"has_fulltext":true,"cited_by_count":30,"citation_normalized_percentile":{"value":0.89855326,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"17","issue":"2","first_page":"93","last_page":"112"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9907000064849854,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9907000064849854,"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.9898999929428101,"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.9878000020980835,"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/expressive-power","display_name":"Expressive power","score":0.7754255533218384},{"id":"https://openalex.org/keywords/distributive-property","display_name":"Distributive property","score":0.7161780595779419},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.6909200549125671},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.6461294889450073},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6303352117538452},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.519726037979126},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.445243775844574},{"id":"https://openalex.org/keywords/regular-expression","display_name":"Regular expression","score":0.4143468141555786},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3628808259963989},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3281790614128113},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.154812753200531}],"concepts":[{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.7754255533218384},{"id":"https://openalex.org/C11821877","wikidata":"https://www.wikidata.org/wiki/Q187959","display_name":"Distributive property","level":2,"score":0.7161780595779419},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.6909200549125671},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6461294889450073},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6303352117538452},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.519726037979126},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.445243775844574},{"id":"https://openalex.org/C121329065","wikidata":"https://www.wikidata.org/wiki/Q185612","display_name":"Regular expression","level":2,"score":0.4143468141555786},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3628808259963989},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3281790614128113},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.154812753200531},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s00165-005-0065-x","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-005-0065-x","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-005-0065-x","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},{"id":"pmh:oai:ora.ox.ac.uk:uuid:d12b86f5-2fde-4196-aa88-80f59a353cb9","is_oa":false,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:d12b86f5-2fde-4196-aa88-80f59a353cb9","pdf_url":null,"source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Department of Computer Science","raw_type":"Journal article"}],"best_oa_location":{"id":"doi:10.1007/s00165-005-0065-x","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-005-0065-x","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-005-0065-x","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Reduced inequalities","score":0.41999998688697815,"id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2133777784.pdf","grobid_xml":"https://content.openalex.org/works/W2133777784.grobid-xml"},"referenced_works_count":13,"referenced_works":["https://openalex.org/W1507195521","https://openalex.org/W2099683378","https://openalex.org/W2110699786","https://openalex.org/W2129384397","https://openalex.org/W2133996557","https://openalex.org/W2140251555","https://openalex.org/W2156547868","https://openalex.org/W2166489896","https://openalex.org/W2589217375","https://openalex.org/W2913048148","https://openalex.org/W3139756671","https://openalex.org/W3144368627","https://openalex.org/W6676601742"],"related_works":["https://openalex.org/W2094667621","https://openalex.org/W2382957647","https://openalex.org/W1509295490","https://openalex.org/W2962878999","https://openalex.org/W1749534632","https://openalex.org/W1993746530","https://openalex.org/W4367555575","https://openalex.org/W2153290650","https://openalex.org/W4250454201","https://openalex.org/W2613180196"],"abstract_inverted_index":{"Abstract":[0],"We":[1,52,85],"show":[2,86],"that":[3,70,87],"wide-ranging":[4],"classes":[5],"of":[6,27,89,102],"predicates":[7,26,72,90],"on":[8],"the":[9],"failures-divergences":[10],"model":[11],"for":[12],"CSP":[13,46],"can":[14],"be":[15],"represented":[16,98],"by":[17,99],"refinement":[18],"checks":[19],"in":[20],"a":[21,28,61],"general":[22],"form.":[23],"These":[24],"are":[25,45,73,81,97],"process":[29],"P":[30,35,39],"expressible":[31],"as":[32,92],"F":[33,42,78],"(":[34,38],")\u228f":[36],"G":[37,44,80],"),":[40],"where":[41],"and":[43,48,79,94],"contexts":[47],"\u228f":[49],"is":[50,69],"refinement.":[51],"use":[53],"ideas":[54],"similar":[55],"to":[56],"full":[57],"abstraction,":[58],"but":[59],"achieve":[60],"stronger":[62],"property":[63],"than":[64],"that.":[65],"Our":[66],"main":[67],"result":[68],"topologically-closed":[71],"precisely":[74],"those":[75],"representable":[76],"when":[77],"both":[82],"uniformly":[83],"continuous.":[84],"sub-classes":[88],"such":[91],"refinement-closed":[93],"distributive":[95],"ones":[96],"special":[100],"forms":[101],"this":[103],"check.":[104]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2017,"cited_by_count":4},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}