{"id":"https://openalex.org/W2068932333","doi":"https://doi.org/10.1007/s11235-014-9870-y","title":"Modeling and analyzing the convergence property of the BGP routing protocol in SPIN","display_name":"Modeling and analyzing the convergence property of the BGP routing protocol in SPIN","publication_year":2014,"publication_date":"2014-10-22","ids":{"openalex":"https://openalex.org/W2068932333","doi":"https://doi.org/10.1007/s11235-014-9870-y","mag":"2068932333"},"language":"en","primary_location":{"id":"doi:10.1007/s11235-014-9870-y","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11235-014-9870-y","pdf_url":null,"source":{"id":"https://openalex.org/S145894672","display_name":"Telecommunication Systems","issn_l":"1018-4864","issn":["1018-4864","1572-9451"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Telecommunication 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/A5100457692","display_name":"Zhe Chen","orcid":"https://orcid.org/0000-0002-4707-2402"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Zhe Chen","raw_affiliation_strings":["Software Verification Lab, College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, 29 Yudao Street, Nanjing, 210016, Jiangsu, China","Software Verification Lab, College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China 210016#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Software Verification Lab, College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, 29 Yudao Street, Nanjing, 210016, Jiangsu, China","institution_ids":["https://openalex.org/I9842412"]},{"raw_affiliation_string":"Software Verification Lab, College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China 210016#TAB#","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085335078","display_name":"Daqiang Zhang","orcid":"https://orcid.org/0000-0002-3812-1225"},"institutions":[{"id":"https://openalex.org/I116953780","display_name":"Tongji University","ror":"https://ror.org/03rc6as71","country_code":"CN","type":"education","lineage":["https://openalex.org/I116953780"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Daqiang Zhang","raw_affiliation_strings":["School of Software Engineering, Tongji University, Shanghai, 201804, China","School of Software Engineering Tongji University,Shanghai,China,201804"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Software Engineering, Tongji University, Shanghai, 201804, China","institution_ids":["https://openalex.org/I116953780"]},{"raw_affiliation_string":"School of Software Engineering Tongji University,Shanghai,China,201804","institution_ids":["https://openalex.org/I116953780"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5091297889","display_name":"Yinxue Ma","orcid":null},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yinxue Ma","raw_affiliation_strings":["Software Verification Lab, College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, 29 Yudao Street, Nanjing, 210016, Jiangsu, China","Software Verification Lab, College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China 210016#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Software Verification Lab, College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, 29 Yudao Street, Nanjing, 210016, Jiangsu, China","institution_ids":["https://openalex.org/I9842412"]},{"raw_affiliation_string":"Software Verification Lab, College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China 210016#TAB#","institution_ids":["https://openalex.org/I9842412"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5085335078","https://openalex.org/A5100457692"],"corresponding_institution_ids":["https://openalex.org/I116953780","https://openalex.org/I9842412"],"apc_list":{"value":2790,"currency":"USD","value_usd":2790},"apc_paid":null,"fwci":0.6982,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.7256936,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"58","issue":"3","first_page":"205","last_page":"217"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"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/T12326","display_name":"Network Packet Processing and Optimization","score":0.9912999868392944,"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.9905999898910522,"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/border-gateway-protocol","display_name":"Border Gateway Protocol","score":0.9308258295059204},{"id":"https://openalex.org/keywords/default-free-zone","display_name":"Default-free zone","score":0.869004487991333},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8606271743774414},{"id":"https://openalex.org/keywords/routing-protocol","display_name":"Routing protocol","score":0.6758694648742676},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.6743477582931519},{"id":"https://openalex.org/keywords/enhanced-interior-gateway-routing-protocol","display_name":"Enhanced Interior Gateway Routing Protocol","score":0.6668462157249451},{"id":"https://openalex.org/keywords/path-vector-protocol","display_name":"Path vector protocol","score":0.6148602366447449},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.6101783514022827},{"id":"https://openalex.org/keywords/distance-vector-routing-protocol","display_name":"Distance-vector routing protocol","score":0.5450298190116882},{"id":"https://openalex.org/keywords/convergence","display_name":"Convergence (economics)","score":0.5076314210891724},{"id":"https://openalex.org/keywords/routing","display_name":"Routing (electronic design automation)","score":0.4924098253250122},{"id":"https://openalex.org/keywords/zone-routing-protocol","display_name":"Zone Routing Protocol","score":0.466305136680603},{"id":"https://openalex.org/keywords/interior-gateway-protocol","display_name":"Interior gateway protocol","score":0.4306285083293915},{"id":"https://openalex.org/keywords/static-routing","display_name":"Static routing","score":0.3483225107192993},{"id":"https://openalex.org/keywords/dynamic-source-routing","display_name":"Dynamic Source Routing","score":0.3131042420864105}],"concepts":[{"id":"https://openalex.org/C178086212","wikidata":"https://www.wikidata.org/wiki/Q11155","display_name":"Border Gateway Protocol","level":5,"score":0.9308258295059204},{"id":"https://openalex.org/C101396714","wikidata":"https://www.wikidata.org/wiki/Q3021187","display_name":"Default-free zone","level":5,"score":0.869004487991333},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8606271743774414},{"id":"https://openalex.org/C104954878","wikidata":"https://www.wikidata.org/wiki/Q1648707","display_name":"Routing protocol","level":3,"score":0.6758694648742676},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.6743477582931519},{"id":"https://openalex.org/C87044965","wikidata":"https://www.wikidata.org/wiki/Q1091139","display_name":"Enhanced Interior Gateway Routing Protocol","level":5,"score":0.6668462157249451},{"id":"https://openalex.org/C128917274","wikidata":"https://www.wikidata.org/wiki/Q1666535","display_name":"Path vector protocol","level":5,"score":0.6148602366447449},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6101783514022827},{"id":"https://openalex.org/C202385902","wikidata":"https://www.wikidata.org/wiki/Q1229441","display_name":"Distance-vector routing protocol","level":5,"score":0.5450298190116882},{"id":"https://openalex.org/C2777303404","wikidata":"https://www.wikidata.org/wiki/Q759757","display_name":"Convergence (economics)","level":2,"score":0.5076314210891724},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.4924098253250122},{"id":"https://openalex.org/C189884158","wikidata":"https://www.wikidata.org/wiki/Q8073926","display_name":"Zone Routing Protocol","level":5,"score":0.466305136680603},{"id":"https://openalex.org/C52837422","wikidata":"https://www.wikidata.org/wiki/Q431028","display_name":"Interior gateway protocol","level":5,"score":0.4306285083293915},{"id":"https://openalex.org/C204948658","wikidata":"https://www.wikidata.org/wiki/Q1119410","display_name":"Static routing","level":4,"score":0.3483225107192993},{"id":"https://openalex.org/C9659607","wikidata":"https://www.wikidata.org/wiki/Q1268903","display_name":"Dynamic Source Routing","level":4,"score":0.3131042420864105},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C50522688","wikidata":"https://www.wikidata.org/wiki/Q189833","display_name":"Economic growth","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s11235-014-9870-y","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11235-014-9870-y","pdf_url":null,"source":{"id":"https://openalex.org/S145894672","display_name":"Telecommunication Systems","issn_l":"1018-4864","issn":["1018-4864","1572-9451"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Telecommunication Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.41999998688697815,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W68069235","https://openalex.org/W125598877","https://openalex.org/W150374354","https://openalex.org/W1496007014","https://openalex.org/W1498432697","https://openalex.org/W1501669955","https://openalex.org/W1536993822","https://openalex.org/W1583487553","https://openalex.org/W1607146086","https://openalex.org/W1607782211","https://openalex.org/W1679534293","https://openalex.org/W1943502734","https://openalex.org/W1970125210","https://openalex.org/W1980507101","https://openalex.org/W2006380019","https://openalex.org/W2012935476","https://openalex.org/W2015859091","https://openalex.org/W2028969572","https://openalex.org/W2089003125","https://openalex.org/W2094807507","https://openalex.org/W2115309705","https://openalex.org/W2123947375","https://openalex.org/W2142065670","https://openalex.org/W2340735175","https://openalex.org/W3010856131","https://openalex.org/W4251228600","https://openalex.org/W6606211016","https://openalex.org/W6629539091","https://openalex.org/W6629784141","https://openalex.org/W6630024866","https://openalex.org/W6636166720","https://openalex.org/W6672608052","https://openalex.org/W6684644128"],"related_works":["https://openalex.org/W2885726394","https://openalex.org/W2393962653","https://openalex.org/W2372838829","https://openalex.org/W2789964607","https://openalex.org/W1483211869","https://openalex.org/W2185339664","https://openalex.org/W2032633417","https://openalex.org/W1931176935","https://openalex.org/W2030140188","https://openalex.org/W288328875"],"abstract_inverted_index":null,"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}