{"id":"https://openalex.org/W2021598894","doi":"https://doi.org/10.1007/s11704-009-0067-6","title":"Formal verification of concurrent programs with read-write locks","display_name":"Formal verification of concurrent programs with read-write locks","publication_year":2010,"publication_date":"2010-01-25","ids":{"openalex":"https://openalex.org/W2021598894","doi":"https://doi.org/10.1007/s11704-009-0067-6","mag":"2021598894"},"language":"en","primary_location":{"id":"doi:10.1007/s11704-009-0067-6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11704-009-0067-6","pdf_url":null,"source":{"id":"https://openalex.org/S134228058","display_name":"Frontiers of Computer Science in China","issn_l":"1673-7350","issn":["1673-7350","1673-7466"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers of Computer Science in China","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/A5102708727","display_name":"Ming Fu","orcid":"https://orcid.org/0000-0002-6984-3220"},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ming Fu","raw_affiliation_strings":["School of Computer Science and Technology, University of Science and Technology of China, Hefei, 230027, China","Suzhou Institute for Advanced Study, University of Science and Technology of China, Suzhou, 215123, China","Suzhou Institute for Advanced Study, University of Science and Technology of China, Suzhou, China","School of Computer Science and Technology, University of Science and Technology of China, Hefei, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, University of Science and Technology of China, Hefei, 230027, China","institution_ids":["https://openalex.org/I126520041"]},{"raw_affiliation_string":"Suzhou Institute for Advanced Study, University of Science and Technology of China, Suzhou, 215123, China","institution_ids":[]},{"raw_affiliation_string":"Suzhou Institute for Advanced Study, University of Science and Technology of China, Suzhou, China","institution_ids":[]},{"raw_affiliation_string":"School of Computer Science and Technology, University of Science and Technology of China, Hefei, China","institution_ids":["https://openalex.org/I126520041"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036488225","display_name":"Yu Zhang","orcid":"https://orcid.org/0000-0001-6638-6442"},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yu Zhang","raw_affiliation_strings":["School of Computer Science and Technology, University of Science and Technology of China, Hefei, 230027, China","Suzhou Institute for Advanced Study, University of Science and Technology of China, Suzhou, 215123, China","School of Computer Science and Technology, University of Science and Technology of China, Hefei, China","Suzhou Institute for Advanced Study, University of Science and Technology of China, Suzhou, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, University of Science and Technology of China, Hefei, 230027, China","institution_ids":["https://openalex.org/I126520041"]},{"raw_affiliation_string":"Suzhou Institute for Advanced Study, University of Science and Technology of China, Suzhou, 215123, China","institution_ids":[]},{"raw_affiliation_string":"School of Computer Science and Technology, University of Science and Technology of China, Hefei, China","institution_ids":["https://openalex.org/I126520041"]},{"raw_affiliation_string":"Suzhou Institute for Advanced Study, University of Science and Technology of China, Suzhou, China","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100355326","display_name":"Yong Li","orcid":"https://orcid.org/0000-0001-9939-094X"},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yong Li","raw_affiliation_strings":["School of Computer Science and Technology, University of Science and Technology of China, Hefei, 230027, China","Suzhou Institute for Advanced Study, University of Science and Technology of China, Suzhou, 215123, China","School of Computer Science and Technology, University of Science and Technology of China, Hefei, China","Suzhou Institute for Advanced Study, University of Science and Technology of China, Suzhou, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, University of Science and Technology of China, Hefei, 230027, China","institution_ids":["https://openalex.org/I126520041"]},{"raw_affiliation_string":"Suzhou Institute for Advanced Study, University of Science and Technology of China, Suzhou, 215123, China","institution_ids":[]},{"raw_affiliation_string":"School of Computer Science and Technology, University of Science and Technology of China, Hefei, China","institution_ids":["https://openalex.org/I126520041"]},{"raw_affiliation_string":"Suzhou Institute for Advanced Study, University of Science and Technology of China, Suzhou, China","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5036488225"],"corresponding_institution_ids":["https://openalex.org/I126520041"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.10164774,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"4","issue":"1","first_page":"65","last_page":"77"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/separation-logic","display_name":"Separation logic","score":0.9150341153144836},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.885918915271759},{"id":"https://openalex.org/keywords/heap","display_name":"Heap (data structure)","score":0.8766981363296509},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6409631371498108},{"id":"https://openalex.org/keywords/mutual-exclusion","display_name":"Mutual exclusion","score":0.5109957456588745},{"id":"https://openalex.org/keywords/concurrent-data-structure","display_name":"Concurrent data structure","score":0.45934826135635376},{"id":"https://openalex.org/keywords/granularity","display_name":"Granularity","score":0.4280218482017517},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.3303910195827484}],"concepts":[{"id":"https://openalex.org/C173856430","wikidata":"https://www.wikidata.org/wiki/Q3257964","display_name":"Separation logic","level":2,"score":0.9150341153144836},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.885918915271759},{"id":"https://openalex.org/C134757568","wikidata":"https://www.wikidata.org/wiki/Q274089","display_name":"Heap (data structure)","level":2,"score":0.8766981363296509},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6409631371498108},{"id":"https://openalex.org/C56348326","wikidata":"https://www.wikidata.org/wiki/Q1047554","display_name":"Mutual exclusion","level":2,"score":0.5109957456588745},{"id":"https://openalex.org/C203222032","wikidata":"https://www.wikidata.org/wiki/Q5159104","display_name":"Concurrent data structure","level":3,"score":0.45934826135635376},{"id":"https://openalex.org/C177774035","wikidata":"https://www.wikidata.org/wiki/Q1246948","display_name":"Granularity","level":2,"score":0.4280218482017517},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.3303910195827484}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s11704-009-0067-6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11704-009-0067-6","pdf_url":null,"source":{"id":"https://openalex.org/S134228058","display_name":"Frontiers of Computer Science in China","issn_l":"1673-7350","issn":["1673-7350","1673-7466"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers of Computer Science in China","raw_type":"journal-article"}],"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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1560253649","https://openalex.org/W1607674807","https://openalex.org/W1819989006","https://openalex.org/W1965662337","https://openalex.org/W1974265510","https://openalex.org/W1980939032","https://openalex.org/W2034711041","https://openalex.org/W2061341742","https://openalex.org/W2090551028","https://openalex.org/W2117963862","https://openalex.org/W2121405115","https://openalex.org/W2123825254","https://openalex.org/W2125398300","https://openalex.org/W2132761501","https://openalex.org/W2137628566","https://openalex.org/W2141260727","https://openalex.org/W3146519985","https://openalex.org/W4206420448","https://openalex.org/W4241497336","https://openalex.org/W4256027310"],"related_works":["https://openalex.org/W2526476098","https://openalex.org/W1790417275","https://openalex.org/W2024412809","https://openalex.org/W2583438563","https://openalex.org/W2056486266","https://openalex.org/W1989119191","https://openalex.org/W2186600819","https://openalex.org/W2139241970","https://openalex.org/W4296607663","https://openalex.org/W1847396493"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}