乐胖代购免代理版

{"id":"https://openalex.org/W2150648095","doi":"https://doi.org/10.1504/ijiids.2012.045847","title":"Deadlock verification of a DPS coordination strategy and its alternative model in pi-calculus","display_name":"Deadlock verification of a DPS coordination strategy and its alternative model in pi-calculus","publication_year":2012,"publication_date":"2012-01-01","ids":{"openalex":"https://openalex.org/W2150648095","doi":"https://doi.org/10.1504/ijiids.2012.045847","mag":"2150648095"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1504/ijiids.2012.045847","pdf_url":null,"source":{"id":"https://openalex.org/S27556001","display_name":"International Journal of Intelligent Information and Database Systems","issn_l":"1751-5858","issn":["1751-5858","1751-5866"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310317825","host_organization_name":"Inderscience Publishers","host_organization_lineage":["https://openalex.org/P4310317825"],"host_organization_lineage_names":["Inderscience Publishers"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-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/A5111964838","display_name":"Pablo D. Robles Granda","orcid":null},"institutions":[{"id":"https://openalex.org/I110378019","display_name":"Southern Illinois University Carbondale","ror":"https://ror.org/049kefs16","country_code":"US","type":"education","lineage":["https://openalex.org/I110378019","https://openalex.org/I2801502357"]},{"id":"https://openalex.org/I4210094983","display_name":"ScienceSouth","ror":"https://ror.org/00my6s217","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I4210094983"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Pablo D. Robles Granda","raw_affiliation_strings":["Department of Computer Science, Southern Illinois University, Carbondale, 62901, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Southern Illinois University, Carbondale, 62901, USA","institution_ids":["https://openalex.org/I110378019","https://openalex.org/I4210094983"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023029632","display_name":"Elham S. Khorasani","orcid":null},"institutions":[{"id":"https://openalex.org/I110378019","display_name":"Southern Illinois University Carbondale","ror":"https://ror.org/049kefs16","country_code":"US","type":"education","lineage":["https://openalex.org/I110378019","https://openalex.org/I2801502357"]},{"id":"https://openalex.org/I4210094983","display_name":"ScienceSouth","ror":"https://ror.org/00my6s217","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I4210094983"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Elham S. Khorasani","raw_affiliation_strings":["Department of Computer Science, Southern Illinois University, Carbondale, 62901, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Southern Illinois University, Carbondale, 62901, USA","institution_ids":["https://openalex.org/I110378019","https://openalex.org/I4210094983"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112057472","display_name":"Shahram Rahimi","orcid":null},"institutions":[{"id":"https://openalex.org/I110378019","display_name":"Southern Illinois University Carbondale","ror":"https://ror.org/049kefs16","country_code":"US","type":"education","lineage":["https://openalex.org/I110378019","https://openalex.org/I2801502357"]},{"id":"https://openalex.org/I4210094983","display_name":"ScienceSouth","ror":"https://ror.org/00my6s217","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I4210094983"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shahram Rahimi","raw_affiliation_strings":["Department of Computer Science, Southern Illinois University, Carbondale, 62901, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Southern Illinois University, Carbondale, 62901, USA","institution_ids":["https://openalex.org/I110378019","https://openalex.org/I4210094983"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103331716","display_name":"Norman Carver","orcid":null},"institutions":[{"id":"https://openalex.org/I110378019","display_name":"Southern Illinois University Carbondale","ror":"https://ror.org/049kefs16","country_code":"US","type":"education","lineage":["https://openalex.org/I110378019","https://openalex.org/I2801502357"]},{"id":"https://openalex.org/I4210094983","display_name":"ScienceSouth","ror":"https://ror.org/00my6s217","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I4210094983"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Norman Carver","raw_affiliation_strings":["Department of Computer Science, Southern Illinois University, Carbondale, 62901, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Southern Illinois University, Carbondale, 62901, USA","institution_ids":["https://openalex.org/I110378019","https://openalex.org/I4210094983"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":0,"max":64},"biblio":{"volume":"6","issue":"2","first_page":"154","last_page":"154"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998,"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.9998,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9996,"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.999,"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/pi-calculus","display_name":"Pi calculus","score":0.8173419},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"Formal semantics (linguistics)","score":0.4118924}],"concepts":[{"id":"https://openalex.org/C2984882572","wikidata":"https://www.wikidata.org/wiki/Q602886","display_name":"Pi calculus","level":2,"score":0.8173419},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.80341756},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.51760876},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.5037152},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.46855742},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.45299482},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.44406137},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4324655},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.41421837},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.4118924},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.35040423},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2500695},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1504/ijiids.2012.045847","pdf_url":null,"source":{"id":"https://openalex.org/S27556001","display_name":"International Journal of Intelligent Information and Database Systems","issn_l":"1751-5858","issn":["1751-5858","1751-5866"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310317825","host_organization_name":"Inderscience Publishers","host_organization_lineage":["https://openalex.org/P4310317825"],"host_organization_lineage_names":["Inderscience Publishers"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":17,"referenced_works":["https://openalex.org/W1487583155","https://openalex.org/W1523525039","https://openalex.org/W1558927335","https://openalex.org/W1591694044","https://openalex.org/W1894733579","https://openalex.org/W1972432163","https://openalex.org/W1993973536","https://openalex.org/W2008838944","https://openalex.org/W2013672985","https://openalex.org/W2065772939","https://openalex.org/W2128932399","https://openalex.org/W2142621944","https://openalex.org/W2144817350","https://openalex.org/W2162059402","https://openalex.org/W2175965086","https://openalex.org/W3152055187","https://openalex.org/W56480792"],"related_works":["https://openalex.org/W2534958226","https://openalex.org/W2264123539","https://openalex.org/W2152752131","https://openalex.org/W2145025660","https://openalex.org/W2101140671","https://openalex.org/W1946493810","https://openalex.org/W1922520186","https://openalex.org/W161255303","https://openalex.org/W1544097700","https://openalex.org/W1488573418"],"abstract_inverted_index":{"A":[0],"key":[1],"issue":[2],"for":[3,17,54,81],"distributed":[4],"problem":[5],"solving":[6],"(DPS)":[7],"systems":[8],"is":[9,43,51],"coordination":[10,20,84,110,126,148],"of":[11,26,75,99,109,119],"the":[12,73,96,116,137],"agent\u2019s":[13],"actions,":[14],"and":[15,86],"methods":[16],"producing":[18],"effective":[19],"strategies":[21,85],"remain":[22],"an":[23],"active":[24],"area":[25],"research.":[27],"Because":[28],"there":[29,50],"are":[30],"not":[31],"yet":[32],"approaches":[33],"that":[34],"can":[35],"automatically":[36],"produce":[37],"such":[38,60,89],"strategies,":[39],"some":[40],"human":[41,61],"engineering":[42],"often":[44],"still":[45],"necessary.":[46],"As":[47],"a":[48,52,55,64,78,100,125,146],"result,":[49],"need":[53],"formal":[56,79,117],"tool":[57],"to":[58,94,121,144],"support":[59],"engineering.":[62],"In":[63,102],"previous":[65],"work":[66],"(Khorasani":[67],"et":[68],"al.,":[69],"2009),":[70],"we":[71,105,114],"investigated":[72],"use":[74],"pi-calculus":[76,120,138],"as":[77],"language":[80],"modelling":[82],"DPS":[83],"showed":[87],"how":[88],"models":[90],"could":[91],"be":[92,142],"used":[93],"evaluate":[95],"time":[97],"performance":[98],"strategy.":[101,127,149],"this":[103],"paper,":[104],"focus":[106],"on":[107,136],"verification":[108],"strategies.":[111],"More":[112],"specifically,":[113],"utilise":[115],"semantics":[118],"detect":[122],"deadlocks":[123],"in":[124],"We":[128],"also":[129],"show":[130],"how,":[131],"by":[132],"imposing":[133],"certain":[134],"constraints":[135],"model,":[139],"one":[140],"would":[141],"able":[143],"design":[145],"deadlock-free":[147]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2150648095","counts_by_year":[],"updated_date":"2024-12-10T05:46:33.540879","created_date":"2016-06-24"}