{"id":"https://openalex.org/W2114224332","doi":"https://doi.org/10.1109/iri.2003.1251459","title":"ACP model of Java multithreading","display_name":"ACP model of Java multithreading","publication_year":2004,"publication_date":"2004-03-02","ids":{"openalex":"https://openalex.org/W2114224332","doi":"https://doi.org/10.1109/iri.2003.1251459","mag":"2114224332"},"language":"en","primary_location":{"id":"doi:10.1109/iri.2003.1251459","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iri.2003.1251459","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings Fifth IEEE Workshop on Mobile Computing Systems and Applications","raw_type":"proceedings-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/A5069339294","display_name":"Yuan Liu","orcid":"https://orcid.org/0000-0002-2578-0707"},"institutions":[{"id":"https://openalex.org/I76569877","display_name":"Southeast University","ror":"https://ror.org/04ct4d772","country_code":"CN","type":"education","lineage":["https://openalex.org/I76569877"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yuan Liu","raw_affiliation_strings":["Department of Compu fer Science and Engineering, South-East University, China","Department of Computer Science and Engineering, Southeast University, China#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Compu fer Science and Engineering, South-East University, China","institution_ids":[]},{"raw_affiliation_string":"Department of Computer Science and Engineering, Southeast University, China#TAB#","institution_ids":["https://openalex.org/I76569877"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100331400","display_name":"Baowen Xu","orcid":"https://orcid.org/0000-0001-7743-1296"},"institutions":[{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]},{"id":"https://openalex.org/I76569877","display_name":"Southeast University","ror":"https://ror.org/04ct4d772","country_code":"CN","type":"education","lineage":["https://openalex.org/I76569877"]},{"id":"https://openalex.org/I4391768271","display_name":"State Key Laboratory of Software Engineering","ror":"https://ror.org/01z3jn402","country_code":null,"type":"facility","lineage":["https://openalex.org/I37461747","https://openalex.org/I4391768271"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Baowen Xu","raw_affiliation_strings":["State Key Laboratory of Soffware Engineering, Wuhan University of China, China","Department of Computer Science and Engineering, Southeast University, China#TAB#"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Soffware Engineering, Wuhan University of China, China","institution_ids":["https://openalex.org/I37461747","https://openalex.org/I4391768271"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, Southeast University, China#TAB#","institution_ids":["https://openalex.org/I76569877"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5069339294"],"corresponding_institution_ids":["https://openalex.org/I76569877"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.1486363,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"1945","issue":null,"first_page":"513","last_page":"518"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9984999895095825,"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/multithreading","display_name":"Multithreading","score":0.9099103212356567},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8531899452209473},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.8287950158119202},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6930052638053894},{"id":"https://openalex.org/keywords/real-time-java","display_name":"Real time Java","score":0.6115960478782654},{"id":"https://openalex.org/keywords/java-concurrency","display_name":"Java concurrency","score":0.5395172834396362},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.47988951206207275},{"id":"https://openalex.org/keywords/java-annotation","display_name":"Java annotation","score":0.47614622116088867},{"id":"https://openalex.org/keywords/concurrent-object-oriented-programming","display_name":"Concurrent object-oriented programming","score":0.4589806795120239},{"id":"https://openalex.org/keywords/strictfp","display_name":"strictfp","score":0.45611828565597534},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.44481486082077026},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.417402982711792},{"id":"https://openalex.org/keywords/object-oriented-programming","display_name":"Object-oriented programming","score":0.41218122839927673},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.36211803555488586},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.34456706047058105},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.32990026473999023},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.13939782977104187},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.06366714835166931}],"concepts":[{"id":"https://openalex.org/C201410400","wikidata":"https://www.wikidata.org/wiki/Q1064412","display_name":"Multithreading","level":3,"score":0.9099103212356567},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8531899452209473},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.8287950158119202},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6930052638053894},{"id":"https://openalex.org/C132106392","wikidata":"https://www.wikidata.org/wiki/Q1373903","display_name":"Real time Java","level":3,"score":0.6115960478782654},{"id":"https://openalex.org/C181907185","wikidata":"https://www.wikidata.org/wiki/Q1100098","display_name":"Java concurrency","level":4,"score":0.5395172834396362},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.47988951206207275},{"id":"https://openalex.org/C168702491","wikidata":"https://www.wikidata.org/wiki/Q567345","display_name":"Java annotation","level":4,"score":0.47614622116088867},{"id":"https://openalex.org/C3701939","wikidata":"https://www.wikidata.org/wiki/Q5159109","display_name":"Concurrent object-oriented programming","level":5,"score":0.4589806795120239},{"id":"https://openalex.org/C174954855","wikidata":"https://www.wikidata.org/wiki/Q7623626","display_name":"strictfp","level":4,"score":0.45611828565597534},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.44481486082077026},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.417402982711792},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.41218122839927673},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.36211803555488586},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.34456706047058105},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.32990026473999023},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.13939782977104187},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.06366714835166931},{"id":"https://openalex.org/C150762246","wikidata":"https://www.wikidata.org/wiki/Q4354073","display_name":"Reactive programming","level":4,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iri.2003.1251459","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iri.2003.1251459","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings Fifth IEEE Workshop on Mobile Computing Systems and Applications","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1501745438","https://openalex.org/W1609142614","https://openalex.org/W1897676854","https://openalex.org/W1974292455","https://openalex.org/W1994188141","https://openalex.org/W2005465149","https://openalex.org/W2014108553","https://openalex.org/W2057397288","https://openalex.org/W2098060425","https://openalex.org/W2103767382","https://openalex.org/W2109935657","https://openalex.org/W2112922197","https://openalex.org/W2139241964","https://openalex.org/W2340102009","https://openalex.org/W2564775691","https://openalex.org/W4244719572","https://openalex.org/W6636394495","https://openalex.org/W6639715346","https://openalex.org/W6648911993","https://openalex.org/W6676214055","https://openalex.org/W6676808646"],"related_works":["https://openalex.org/W2170470279","https://openalex.org/W412736943","https://openalex.org/W3172992491","https://openalex.org/W2186199411","https://openalex.org/W4297798586","https://openalex.org/W2541866089","https://openalex.org/W2360912707","https://openalex.org/W1974508891","https://openalex.org/W1678486327","https://openalex.org/W1576331004"],"abstract_inverted_index":{"Feasibility":[0],"and":[1,20,57],"efficiency":[2],"of":[3,48,88],"analyzing":[4],"concurrent":[5,15,33,63],"programs":[6,16],"mostly":[7],"rely":[8],"on":[9],"the":[10,86,94],"programs'":[11],"representations.":[12],"So":[13],"modeling":[14],"in":[17,40,54,93],"a":[18,46,55],"proper":[19],"suitable":[21],"way":[22],"is":[23,29,36],"very":[24],"important.":[25],"In":[26,80],"Java,":[27],"multithreading":[28,50],"provided":[30],"to":[31,68,85],"support":[32],"programming,":[34],"which":[35,72],"now":[37],"widely":[38],"used":[39],"distributed":[41],"systems.":[42],"This":[43],"paper":[44],"proposes":[45],"model":[47,74,107],"Java":[49,62],"by":[51],"using":[52],"ACP":[53],"neat":[56],"tidy":[58],"way,":[59],"so":[60],"that":[61],"system":[64],"can":[65,91,102],"be":[66,103],"transformed":[67],"process":[69],"algebra":[70],"expressions":[71],"facilitate":[73],"checking":[75],"or":[76],"some":[77],"further":[78],"analysis.":[79],"addition,":[81],"many":[82,100],"problems":[83],"similar":[84],"mechanism":[87],"protected":[89],"object":[90],"modeled":[92],"same":[95],"way.":[96],"With":[97],"these":[98],"models,":[99],"analyses":[101],"transformed,":[104],"such":[105],"as":[106],"checking.":[108]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}