{"id":"https://openalex.org/W3022553708","doi":"https://doi.org/10.1016/s1571-0661(04)80017-3","title":"Granularity and the Development of Concurrent Programs","display_name":"Granularity and the Development of Concurrent Programs","publication_year":1995,"publication_date":"1995-01-01","ids":{"openalex":"https://openalex.org/W3022553708","doi":"https://doi.org/10.1016/s1571-0661(04)80017-3","mag":"3022553708"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(04)80017-3","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80017-3","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(04)80017-3","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5087996237","display_name":"Cliff B. Jones","orcid":"https://orcid.org/0000-0002-0038-6623"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"C.B. Jones","raw_affiliation_strings":["Department of Computer Science, University of Manchester, Manchester, U.K"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Manchester, Manchester, U.K","institution_ids":["https://openalex.org/I28407311"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5087996237"],"corresponding_institution_ids":["https://openalex.org/I28407311"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.32033119,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"1","issue":null,"first_page":"302","last_page":"306"},"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.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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9991999864578247,"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.9969000220298767,"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/atomicity","display_name":"Atomicity","score":0.9362192153930664},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7941347360610962},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.7920112013816833},{"id":"https://openalex.org/keywords/granularity","display_name":"Granularity","score":0.7516402006149292},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6475048661231995},{"id":"https://openalex.org/keywords/statement","display_name":"Statement (logic)","score":0.6381962299346924},{"id":"https://openalex.org/keywords/concurrency-control","display_name":"Concurrency control","score":0.5055100917816162},{"id":"https://openalex.org/keywords/object","display_name":"Object (grammar)","score":0.5047057867050171},{"id":"https://openalex.org/keywords/development","display_name":"Development (topology)","score":0.49476760625839233},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4705676734447479},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.44118979573249817},{"id":"https://openalex.org/keywords/interference","display_name":"Interference (communication)","score":0.42828571796417236},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.41989952325820923},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3911876678466797},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11409389972686768},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.10820087790489197},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.10276982188224792}],"concepts":[{"id":"https://openalex.org/C188045909","wikidata":"https://www.wikidata.org/wiki/Q3306359","display_name":"Atomicity","level":3,"score":0.9362192153930664},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7941347360610962},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.7920112013816833},{"id":"https://openalex.org/C177774035","wikidata":"https://www.wikidata.org/wiki/Q1246948","display_name":"Granularity","level":2,"score":0.7516402006149292},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6475048661231995},{"id":"https://openalex.org/C2777026412","wikidata":"https://www.wikidata.org/wiki/Q2684591","display_name":"Statement (logic)","level":2,"score":0.6381962299346924},{"id":"https://openalex.org/C84511453","wikidata":"https://www.wikidata.org/wiki/Q2914952","display_name":"Concurrency control","level":3,"score":0.5055100917816162},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.5047057867050171},{"id":"https://openalex.org/C2776542497","wikidata":"https://www.wikidata.org/wiki/Q5266672","display_name":"Development (topology)","level":2,"score":0.49476760625839233},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4705676734447479},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.44118979573249817},{"id":"https://openalex.org/C32022120","wikidata":"https://www.wikidata.org/wiki/Q797225","display_name":"Interference (communication)","level":3,"score":0.42828571796417236},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.41989952325820923},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3911876678466797},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11409389972686768},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.10820087790489197},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.10276982188224792},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"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/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(04)80017-3","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80017-3","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(04)80017-3","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80017-3","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W80370608","https://openalex.org/W1036874709","https://openalex.org/W1481018260","https://openalex.org/W1581632202","https://openalex.org/W1603859589","https://openalex.org/W1964727056","https://openalex.org/W1970495662","https://openalex.org/W2099401177","https://openalex.org/W2107997147","https://openalex.org/W2486882506","https://openalex.org/W2494919981","https://openalex.org/W3020740664","https://openalex.org/W3049713846","https://openalex.org/W4285719527","https://openalex.org/W6626988515","https://openalex.org/W6634799486","https://openalex.org/W6636337628"],"related_works":["https://openalex.org/W321339674","https://openalex.org/W2167421399","https://openalex.org/W2019062800","https://openalex.org/W2899146177","https://openalex.org/W2616010075","https://openalex.org/W1507160831","https://openalex.org/W2186490196","https://openalex.org/W2614427934","https://openalex.org/W2793788250","https://openalex.org/W2162969183"],"abstract_inverted_index":{"Interference":[0],"is":[1,26,40,74,77],"what":[2],"makes":[3],"the":[4,11,22,46,49,52],"design":[5],"of":[6,13,24,48,51,107],"concurrent":[7,112],"programs":[8,38,82],"difficult.":[9],"In":[10,32],"case":[12],"shared-variables,":[14],"interference":[15,25],"manifests":[16],"itself":[17],"as":[18],"state":[19],"changes;":[20],"but":[21],"issue":[23],"also":[27],"present":[28],"with":[29],"communication-based":[30],"concurrency.":[31],"order":[33],"to":[34,42,79,103],"reason":[35],"about":[36,45],"interfering":[37],"it":[39],"necessary":[41],"assume":[43],"something":[44],"granularity":[47],"steps":[50],"processes":[53],"concerned.":[54],"Many":[55],"development":[56,95,121],"methods":[57,96],"circumvent":[58],"this":[59,73],"difficulty":[60],"by":[61],"fixing":[62],"which":[63,83],"statement":[64],"types":[65],"are":[66,84,115],"atomic.":[67],"It":[68],"can":[69],"be":[70],"argued":[71],"that":[72,111],"unfortunate":[75],"and":[76,109],"likely":[78],"result":[80],"in":[81],"inefficient":[85],"(in":[86],"a":[87,101,104,120],"particular":[88],"way).":[89],"This":[90],"extended":[91],"abstract":[92],"shows":[93],"how":[94],"based":[97],"on":[98],"rely/guarantee-conditions":[99],"avoid":[100],"commitment":[102],"fixed":[105],"notion":[106],"atomicity":[108],"suggests":[110],"object-oriented":[113],"languages":[114],"good":[116],"targets":[117],"for":[118],"such":[119],"method.":[122]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}