{"id":"https://openalex.org/W2605176368","doi":"https://doi.org/10.3233/jifs-169282","title":"Sorting realization of well-ordered sets\u00a0based on \u03c0-calculus","display_name":"Sorting realization of well-ordered sets\u00a0based on \u03c0-calculus","publication_year":2017,"publication_date":"2017-04-07","ids":{"openalex":"https://openalex.org/W2605176368","doi":"https://doi.org/10.3233/jifs-169282","mag":"2605176368"},"language":"en","primary_location":{"id":"doi:10.3233/jifs-169282","is_oa":false,"landing_page_url":"https://doi.org/10.3233/jifs-169282","pdf_url":null,"source":{"id":"https://openalex.org/S179157397","display_name":"Journal of Intelligent & Fuzzy Systems","issn_l":"1064-1246","issn":["1064-1246","1875-8967"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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":"Journal of Intelligent & Fuzzy Systems","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/A5013085783","display_name":"Hao Bu","orcid":null},"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/I4210157323","display_name":"South China Institute of Collaborative Innovation","ror":"https://ror.org/04jnpk588","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210157323","https://openalex.org/I90610280"]},{"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":true,"raw_author_name":"Hao Bu","raw_affiliation_strings":["Collaborative Innovation Center of Geospatial Technology, China","Computer School of Wuhan University, China","National Engineering Research Center for Multimedia Software, Computer School of Wuhan University, China","State Key Lab of Software Engineering, Computer School of Wuhan University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Collaborative Innovation Center of Geospatial Technology, China","institution_ids":["https://openalex.org/I4210157323"]},{"raw_affiliation_string":"Computer School of Wuhan University, China","institution_ids":["https://openalex.org/I37461747"]},{"raw_affiliation_string":"National Engineering Research Center for Multimedia Software, Computer School of Wuhan University, China","institution_ids":["https://openalex.org/I37461747"]},{"raw_affiliation_string":"State Key Lab of Software Engineering, Computer School of Wuhan University, China","institution_ids":["https://openalex.org/I37461747","https://openalex.org/I4391768271"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100686442","display_name":"Rong Zhu","orcid":"https://orcid.org/0000-0003-4019-8587"},"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/I4210157323","display_name":"South China Institute of Collaborative Innovation","ror":"https://ror.org/04jnpk588","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210157323","https://openalex.org/I90610280"]},{"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":"Rong Zhu","raw_affiliation_strings":["Collaborative Innovation Center of Geospatial Technology, China","State Key Lab of Software Engineering, Computer School of Wuhan University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Collaborative Innovation Center of Geospatial Technology, China","institution_ids":["https://openalex.org/I4210157323"]},{"raw_affiliation_string":"State Key Lab of Software Engineering, Computer School of Wuhan University, China","institution_ids":["https://openalex.org/I37461747","https://openalex.org/I4391768271"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100731246","display_name":"Shihong Chen","orcid":"https://orcid.org/0000-0002-3694-7496"},"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"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shihong Chen","raw_affiliation_strings":["Computer School of Wuhan University, China","National Engineering Research Center for Multimedia Software, Computer School of Wuhan University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer School of Wuhan University, China","institution_ids":["https://openalex.org/I37461747"]},{"raw_affiliation_string":"National Engineering Research Center for Multimedia Software, Computer School of Wuhan University, China","institution_ids":["https://openalex.org/I37461747"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050655423","display_name":"Xiaoqiong Tan","orcid":null},"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/I4210157323","display_name":"South China Institute of Collaborative Innovation","ror":"https://ror.org/04jnpk588","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210157323","https://openalex.org/I90610280"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaoqiong Tan","raw_affiliation_strings":["Collaborative Innovation Center of Geospatial Technology, China","National Engineering Research Center for Multimedia Software, Computer School of Wuhan University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Collaborative Innovation Center of Geospatial Technology, China","institution_ids":["https://openalex.org/I4210157323"]},{"raw_affiliation_string":"National Engineering Research Center for Multimedia Software, Computer School of Wuhan University, China","institution_ids":["https://openalex.org/I37461747"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5013085783"],"corresponding_institution_ids":["https://openalex.org/I37461747","https://openalex.org/I4210157323","https://openalex.org/I4391768271"],"apc_list":null,"apc_paid":null,"fwci":0.2301,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.66512723,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"32","issue":"5","first_page":"3429","last_page":"3445"},"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.9975000023841858,"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.9975000023841858,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9955999851226807,"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/T11567","display_name":"semigroups and automata theory","score":0.9937999844551086,"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/sorting","display_name":"Sorting","score":0.8114885091781616},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6755114793777466},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.6062997579574585},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.6043466925621033},{"id":"https://openalex.org/keywords/realization","display_name":"Realization (probability)","score":0.5652192831039429},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4929800033569336},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.49261385202407837},{"id":"https://openalex.org/keywords/multivariable-calculus","display_name":"Multivariable calculus","score":0.48312804102897644},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42741119861602783},{"id":"https://openalex.org/keywords/sorting-algorithm","display_name":"Sorting algorithm","score":0.42323383688926697},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2801845669746399},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2623458206653595},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10993900895118713},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.07286113500595093}],"concepts":[{"id":"https://openalex.org/C111696304","wikidata":"https://www.wikidata.org/wiki/Q2303697","display_name":"Sorting","level":2,"score":0.8114885091781616},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6755114793777466},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.6062997579574585},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.6043466925621033},{"id":"https://openalex.org/C2781089630","wikidata":"https://www.wikidata.org/wiki/Q21856745","display_name":"Realization (probability)","level":2,"score":0.5652192831039429},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4929800033569336},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.49261385202407837},{"id":"https://openalex.org/C117312493","wikidata":"https://www.wikidata.org/wiki/Q2035437","display_name":"Multivariable calculus","level":2,"score":0.48312804102897644},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42741119861602783},{"id":"https://openalex.org/C108094655","wikidata":"https://www.wikidata.org/wiki/Q181593","display_name":"Sorting algorithm","level":3,"score":0.42323383688926697},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2801845669746399},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2623458206653595},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10993900895118713},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.07286113500595093},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/jifs-169282","is_oa":false,"landing_page_url":"https://doi.org/10.3233/jifs-169282","pdf_url":null,"source":{"id":"https://openalex.org/S179157397","display_name":"Journal of Intelligent & Fuzzy Systems","issn_l":"1064-1246","issn":["1064-1246","1875-8967"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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":"Journal of Intelligent & Fuzzy Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320326939","display_name":"State Key Laboratory of Software Engineering","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1523525039","https://openalex.org/W1663174014","https://openalex.org/W2035840350","https://openalex.org/W2037085750","https://openalex.org/W2116362715","https://openalex.org/W2167019232","https://openalex.org/W2182201061","https://openalex.org/W2288004153","https://openalex.org/W2288479996","https://openalex.org/W2323549335","https://openalex.org/W2353501980","https://openalex.org/W2377319254","https://openalex.org/W2912413075","https://openalex.org/W6631038096"],"related_works":["https://openalex.org/W2809748609","https://openalex.org/W3033694952","https://openalex.org/W2372558933","https://openalex.org/W2349288944","https://openalex.org/W797244100","https://openalex.org/W4298155039","https://openalex.org/W2801186172","https://openalex.org/W2367560286","https://openalex.org/W2181812531","https://openalex.org/W2368845094"],"abstract_inverted_index":{"\u03c0-calculus":[0,51],"is":[1,56],"one":[2],"of":[3,11,27,35,41,50,99,143,156,177],"the":[4,9,12,17,33,39,53,62,65,68,71,74,80,86,97,100,119,122,140,147,154,161,169,175],"most":[5],"effective":[6],"means":[7],"for":[8,118],"modeling":[10,93],"concurrent":[13,94,133],"mobile":[14,36],"system":[15,54],"at":[16],"present":[18],"stage.":[19],"The":[20],"paper":[21],"starts":[22],"with":[23,43,58],"a":[24,128],"brief":[25],"introduction":[26],"\u03c0-calculus,":[28,106],"which":[29],"concerns":[30],"mutual":[31],"simulation,":[32],"fundamentals":[34],"computing,":[37],"and":[38,48,67,70,77,135,172],"concept":[40],"interaction":[42],"some":[44],"basic":[45],"gramm":[46],"ars":[47],"regulations":[49],"while":[52],"mobility":[55],"discussed":[57],"special":[59],"focuses":[60],"on":[61,83,105,153],"relation":[63,72],"between":[64,73],"referent":[66],"mobility,":[69],"granular":[75],"size":[76],"mobility.":[78],"Then":[79],"analysis":[81],"goes":[82],"to":[84,130],"discuss":[85],"sorting":[87,102,141,162],"problems":[88,142],"that":[89,139],"frequently":[90],"occur":[91],"in":[92,121,146,168],"systems.":[95],"Through":[96],"discussion":[98],"underlying":[101],"algorithms":[103],"based":[104],"five":[107],"processes":[108],"are":[109],"established":[110],"by":[111],"applying":[112],"such":[113],"artless":[114],"thoughts":[115],"as":[116],"\u201clooking":[117],"seats":[120],"cinema\u201d":[123],"or":[124],"\u201cchanging":[125],"keys":[126],"among":[127],"group\u201d":[129],"do":[131],"quick":[132],"locating":[134],"instant":[136],"sorting,":[137],"so":[138],"specific":[144],"elements":[145],"well-ordered":[148],"sets":[149],"could":[150],"be":[151,166],"solved":[152],"basis":[155],"\u03c0-calculus.":[157],"In":[158],"this":[159],"way,":[160],"results":[163],"will":[164],"eventually":[165],"displayed":[167],"specified":[170],"process":[171],"conveniently":[173],"help":[174],"readings":[176],"other":[178],"processes.":[179]},"counts_by_year":[{"year":2018,"cited_by_count":1}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}