{"id":"https://openalex.org/W1602537600","doi":"https://doi.org/10.3233/fun-2000-441-202","title":"A Foundation for Refining Concurrent Objects","display_name":"A Foundation for Refining Concurrent Objects","publication_year":2000,"publication_date":"2000-01-01","ids":{"openalex":"https://openalex.org/W1602537600","doi":"https://doi.org/10.3233/fun-2000-441-202","mag":"1602537600"},"language":"en","primary_location":{"id":"doi:10.3233/fun-2000-441-202","doi":"https://doi.org/10.3233/fun-2000-441-202","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fun-2000-441-202","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","ccf-c","cwts-core","ddh","dongbi-b","jufo-1","norway-1","poland-70","russia-white-list-1"],"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"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/A5017927328","display_name":"Martin B\u00fcchi","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Martin B\u00fcchi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5040143379","display_name":"Emil Sekerinski","orcid":"https://orcid.org/0000-0001-9788-5842","observed_orcids":["https://orcid.org/0000-0001-9788-5842"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Emil Sekerinski","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":4150,"currency":"USD","value_usd":4150},"apc_paid":null,"fwci":0.6291,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.74041695,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":"44","issue":"1-2","first_page":"25","last_page":"61"},"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.9125999808311462,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.9125999808311462,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.08460000157356262,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.0006000000284984708,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/concurrent-objects","display_name":"concurrent objects","score":0.9670000076293945},{"id":"https://openalex.org/keywords/action-systems","display_name":"action systems","score":0.9070000052452087},{"id":"https://openalex.org/keywords/trace-refinement","display_name":"trace refinement","score":0.9279999732971191},{"id":"https://openalex.org/keywords/data-refinement","display_name":"data refinement","score":0.8610000014305115},{"id":"https://openalex.org/keywords/early-returns","display_name":"early returns","score":0.7250000238418579},{"id":"https://openalex.org/keywords/object-oriented-concurrency","display_name":"object-oriented concurrency","score":0.7009999752044678},{"id":"https://openalex.org/keywords/distributed-systems","display_name":"distributed systems","score":0.3869999945163727}],"concepts":[{"id":"https://openalex.org/C60044698","wikidata":"https://www.wikidata.org/wiki/Q1283324","display_name":"Refining (metallurgy)","level":2,"score":0.8863961696624756},{"id":"https://openalex.org/C2780966255","wikidata":"https://www.wikidata.org/wiki/Q5474306","display_name":"Foundation (evidence)","level":2,"score":0.674781322479248},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5953402519226074},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3780316114425659},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.11062458157539368},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.08199578523635864},{"id":"https://openalex.org/C191897082","wikidata":"https://www.wikidata.org/wiki/Q11467","display_name":"Metallurgy","level":1,"score":0.07997345924377441},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.3233/fun-2000-441-202","doi":"https://doi.org/10.3233/fun-2000-441-202","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fun-2000-441-202","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","ccf-c","cwts-core","ddh","dongbi-b","jufo-1","norway-1","poland-70","russia-white-list-1"],"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.111.8790","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.111.8790","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cas.mcmaster.ca/~emil/publications/concurrentobjects/FI.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.150.3199","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.3199","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cas.mcmaster.ca/~emil/publications/concurrentobjects/FI.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W79592965","https://openalex.org/W1482312778","https://openalex.org/W1507160831","https://openalex.org/W1511227926","https://openalex.org/W1511826042","https://openalex.org/W1532627295","https://openalex.org/W1535103785","https://openalex.org/W1535757506","https://openalex.org/W1541118615","https://openalex.org/W1544633123","https://openalex.org/W1547337510","https://openalex.org/W1857327297","https://openalex.org/W1887773755","https://openalex.org/W1987454317","https://openalex.org/W1995008247","https://openalex.org/W2005952505","https://openalex.org/W2043279475","https://openalex.org/W2048168398","https://openalex.org/W2072062729","https://openalex.org/W2098701214","https://openalex.org/W2131890917","https://openalex.org/W2154617594","https://openalex.org/W2160973401","https://openalex.org/W2164063418","https://openalex.org/W2168704035","https://openalex.org/W2396966524","https://openalex.org/W2912676451","https://openalex.org/W3161942825","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W7097729260","https://openalex.org/W2469040637","https://openalex.org/W2134071399","https://openalex.org/W2160973401","https://openalex.org/W2121191807","https://openalex.org/W2126380751","https://openalex.org/W7096090477","https://openalex.org/W6989108066","https://openalex.org/W1507160831","https://openalex.org/W1553420545"],"abstract_inverted_index":{"We":[0,70,88,135],"study":[1],"the":[2,28,40,48,51,91,98,130,137],"notion":[3],"of":[4,19,30,39,50,78,101,140],"class":[5,72,102],"refinement":[6,73,77,105,115,142],"in":[7,37,146],"a":[8,17,31,84],"concurrent":[9],"object-oriented":[10],"setting.":[11],"Our":[12],"model":[13],"is":[14],"based":[15,74],"on":[16,75],"combination":[18],"action":[20,25,79],"systems":[21],"and":[22,111],"classes.":[23,69],"An":[24],"system":[26,36],"describes":[27],"behavior":[29],"concurrent,":[32],"distributed,":[33],"or":[34],"interactive":[35],"terms":[38],"atomic":[41,121],"actions":[42,67,122],"that":[43,90],"can":[44],"take":[45],"place":[46],"during":[47],"execution":[49],"system.":[52],"Classes":[53],"serve":[54],"as":[55],"templates":[56],"for":[57,132],"creating":[58],"objects.":[59],"To":[60],"express":[61],"concurrency":[62],"with":[63],"objects,":[64],"we":[65,82],"add":[66],"to":[68,93,118],"define":[71],"trace":[76],"systems.":[80],"Additionally,":[81],"give":[83],"simulation-based":[85],"proof":[86],"rule.":[87],"show":[89],"easier":[92],"apply":[94],"simulation":[95],"rule":[96],"implies":[97],"trace-based":[99],"definition":[100],"refinement.":[103,113],"Class":[104],"embraces":[106],"algorithmic":[107],"refinement,":[108,110],"data":[109],"atomicity":[112,141],"Atomicity":[114],"allows":[116],"us":[117],"split":[119],"large":[120],"into":[123],"several":[124],"smaller":[125],"ones.":[126],"Thereby,":[127],"it":[128],"paves":[129],"way":[131],"more":[133],"parallelism.":[134],"investigate":[136],"special":[138],"case":[139],"by":[143],"early":[144],"returns":[145],"methods.":[147]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}