乐胖代购免代理版

{"id":"https://openalex.org/W2030694909","doi":"https://doi.org/10.1109/32.7616","title":"An acyclic expansion algorithm for fast protocol validation","display_name":"An acyclic expansion algorithm for fast protocol validation","publication_year":1988,"publication_date":"1988-01-01","ids":{"openalex":"https://openalex.org/W2030694909","doi":"https://doi.org/10.1109/32.7616","mag":"2030694909"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/32.7616","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"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/A5034764743","display_name":"Yoshiaki Kakuda","orcid":null},"institutions":[{"id":"https://openalex.org/I25222733","display_name":"Showa Denko (Japan)","ror":"https://ror.org/0251vfx90","country_code":"JP","type":"company","lineage":["https://openalex.org/I25222733"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Y. Kakuda","raw_affiliation_strings":["Kamifukuoka Research and Development Laboratories, Kokusai Denshin Denwa Company Limited, Kamifukuoka, Saitama, Japan"],"affiliations":[{"raw_affiliation_string":"Kamifukuoka Research and Development Laboratories, Kokusai Denshin Denwa Company Limited, Kamifukuoka, Saitama, Japan","institution_ids":["https://openalex.org/I25222733"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110254244","display_name":"Yasushi Wakahara","orcid":null},"institutions":[{"id":"https://openalex.org/I25222733","display_name":"Showa Denko (Japan)","ror":"https://ror.org/0251vfx90","country_code":"JP","type":"company","lineage":["https://openalex.org/I25222733"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Y. Wakahara","raw_affiliation_strings":["Kamifukuoka Research and Development Laboratories, Kokusai Denshin Denwa Company Limited, Kamifukuoka, Saitama, Japan"],"affiliations":[{"raw_affiliation_string":"Kamifukuoka Research and Development Laboratories, Kokusai Denshin Denwa Company Limited, Kamifukuoka, Saitama, Japan","institution_ids":["https://openalex.org/I25222733"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048411821","display_name":"M. Norigoe","orcid":null},"institutions":[{"id":"https://openalex.org/I25222733","display_name":"Showa Denko (Japan)","ror":"https://ror.org/0251vfx90","country_code":"JP","type":"company","lineage":["https://openalex.org/I25222733"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"M. Norigoe","raw_affiliation_strings":["Department of Research and Development Administration, Kokusai Denshin Denwa Company Limited, Tokyo, Japan"],"affiliations":[{"raw_affiliation_string":"Department of Research and Development Administration, Kokusai Denshin Denwa Company Limited, Tokyo, Japan","institution_ids":["https://openalex.org/I25222733"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.347,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":27,"citation_normalized_percentile":{"value":0.88413,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":89},"biblio":{"volume":"14","issue":"8","first_page":"1059","last_page":"1070"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9995,"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"}},"topics":[{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9995,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9995,"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"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9993,"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"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8424454},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.81847215},{"id":"https://openalex.org/C12269588","wikidata":"https://www.wikidata.org/wiki/Q132364","display_name":"Communications protocol","level":2,"score":0.54063636},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.525604},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.5155542},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.43741745},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3486551},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.32239118},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21218547},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.19605458},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/32.7616","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/8","score":0.6,"display_name":"Decent work and economic growth"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":8,"referenced_works":["https://openalex.org/W1990154918","https://openalex.org/W2025970201","https://openalex.org/W2060872161","https://openalex.org/W2077977516","https://openalex.org/W2078562310","https://openalex.org/W2133153642","https://openalex.org/W4212852471","https://openalex.org/W4248652938"],"related_works":["https://openalex.org/W4388145910","https://openalex.org/W4298212052","https://openalex.org/W4254015142","https://openalex.org/W2409714959","https://openalex.org/W2392986374","https://openalex.org/W2390164899","https://openalex.org/W2388330702","https://openalex.org/W2381570729","https://openalex.org/W2366107444","https://openalex.org/W2107737506"],"abstract_inverted_index":{"For":[0],"the":[1,19,22,60,71,96,113,123],"development":[2,124],"of":[3,7,64,70,127],"communications":[4,128],"software":[5],"composed":[6],"many":[8,38],"modules,":[9],"protocol":[10,47,76,91,114],"validation":[11,25,31,48,92,104,115],"is":[12,34,57,117],"considered":[13],"essential":[14],"to":[15,50,58,74,98,119],"detect":[16,75],"errors":[17,77],"in":[18,67,122],"interactions":[20],"among":[21],"modules.":[23],"Protocol":[24],"techniques":[26],"previously":[27],"proposed":[28,55],"have":[29],"required":[30],"time":[32],"that":[33],"too":[35],"long":[36],"for":[37,106],"actual":[39,108],"protocols.":[40,109],"The":[41,54,86],"authors":[42,87],"propose":[43],"a":[44,90,111],"novel":[45],"fast":[46],"technique":[49,56,97],"overcome":[51],"this":[52],"drawback.":[53],"construct":[59],"minimum":[61],"acyclic":[62],"form":[63],"state":[65],"transitions":[66],"individual":[68],"processes":[69],"protocol,":[72],"and":[73,82,102,125],"such":[78],"as":[79],"system":[80,93,116],"deadlocks":[81],"channel":[83],"overflows":[84],"fast.":[85],"also":[88],"present":[89],"based":[94],"on":[95],"confirm":[99],"its":[100],"feasibility":[101],"show":[103],"results":[105],"some":[107],"As":[110],"result,":[112],"expected":[118],"improve":[120],"productivity":[121],"maintenance":[126],"software.<":[129],">":[132]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2030694909","counts_by_year":[],"updated_date":"2024-12-11T00:00:16.304628","created_date":"2016-06-24"}