｛“id”：“https://openalex.org/W2109099490“，”doi“：”https://doi.org/10.1007/978-3-540-27815-3_15“，”title“：”Verifying a Sliding Window Protocol in \u03bcCRL“，”display_name“：”验证\u03BCRL中的滑动窗口协议“，”publication_year“：2004，”publiction_date“：”2004-01“，”ids“：{”openalex“：”https://openalex.org/W2109099490“，”doi“：”https://doi.org/10.1007/978-3-540-27815-3_15“，”mag“：”2109099490“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-27815-3_15“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”issn“：[”0302-9743“，”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，“open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：https://ir.cwi.nl/pub/4122/04122D.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5078610814“，”display_name“：”Wan Fokkink“，”orcid“：”https://orcid.org/0000-0001-7443-8978}，“机构”：[{“id”：https://openalex.org/I4210145666“，”display_name“：”嵌入式系统（美国）“，”ror“：”https://ror.org/04742eh45“，”country_code“：”US“，”type“：“company”，”lineage“：[”https://openalex.org/I4210145666“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Wan Fokkink“，”raw _ afiliation_strings“：[“CWI，Embedded Systems Group，”]，”affiliations“：[{”raw_ afiliation _string“：”CWI，Embedded System Group，“，”institution_ids“：[https://openalex.org/I4210145666“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5032619003“，”display_name“：”Jan Friso Groote“，”orcid“：”https://orcid.org/0000-0003-2196-6587}，“机构”：[{“id”：https://openalex.org/I4210145666“，”display_name“：”嵌入式系统（美国）“，”ror“：”https://ror.org/04742eh45“，”country_code“：”US“，”type“：“company”，”lineage“：[”https://openalex.org/I4210145666“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Jan Friso Groote“，”raw _ afiliation_strings“：[“CWI，Embedded Systems Group，”]，”affiliations“：[{”raw_ afiliation _string“：”CWI，Embedded System Group，“，”institution_ids“：]”https://openalex.org/I4210145666“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5073684178“，”display_name“：”Jun Pang“，”orcid“：”https://orcid.org/0000-0002-4521-4112}，“机构”：[{“id”：https://openalex.org/I4210145666“，”display_name“：”嵌入式系统（美国）“，”ror“：”https://ror.org/04742eh45“，”country_code“：”US“，”type“：“company”，”lineage“：[”https://openalex.org/I4210145666“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Jun Pang“，”raw _ afiliation_strings“：[“CWI，Embedded Systems Group，”]，”affiliations“：[{”raw_ afiliation _string“：”CWI，Embedded System Group，”，“institution_ids”：[“https://openalex.org/I4210145666“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5011463106“，”display_name“：”巴哈雷教Badban“，”orcid“：null}，”机构“：[{”id“：”https://openalex.org/I4210145666“，”display_name“：”嵌入式系统（美国）“，”ror“：”https://ror.org/04742eh45“，”country_code“：”US“，”type“：“company”，”lineage“：[”https://openalex.org/I4210145666“]}]，”countries“：[”US“]，”is_corresponding“：false，”raw_author_name“：”Bahareh Badban“，”raw _ afiliation_strings“：【”CWI，Embedded Systems Group“，】，”affiliations“：[{”raw _affiliation_string“：”CWI、Embeddeded Systems Group“，”institution_ids“：[“https://openalex.org/I4210145666“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5012697499“，”display_name“：”Jaco van de Pol“，”orcid“：”https://orcid.org/0000-0003-4305-0625}，“机构”：[{“id”：https://openalex.org/I4210145666“，”display_name“：”嵌入式系统（美国）“，”ror“：”https://ror.org/04742eh45“，”country_code“：”US“，”type“：“company”，”lineage“：[”https://openalex.org/I4210145666“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Jaco van de Pol“，”raw _ afiliation_strings“：[“CWI，Embedded Systems Group，”]，”affiliations“：[{”raw_ afiliation _string“：”CWI，Embedded System Group，“，”institution_ids“：]”https://openalex.org/I4210145666“]}]}]，”countries_distinact_count“：1，”institutions_disticant_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：2.837，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited _by_count“：14，”引用的_by_percentile_year“：{”最小值“：85，”max“：86}，”biblio“：{”volume“：null，”issue“：nul，”first_page“：”148“，”last_page“：”163“}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9999，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9999，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11125“，”“display_name”：“系统中Petri网的建模与控制”，“score”：0.9991，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.997，”subfield“：｛”id“：”https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.507362}]，”concepts“：[{”id“：”https://openalex.org/C102392041，“wikidata”：https://www.wikidata.org/wiki/Q592860“，”display_name“：”滑动窗口协议“，”level“：3，”score“：0.8685012}，{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.8231316}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6585202}，{”id“：”https://openalex.org/C54732982，“wikidata”：https://www.wikidata.org/wiki/Q1415345“，”display_name“：”Modulo“，”level“：2，”score“：0.6463597}，{”id“：”https://openalex.org/C2778751112，“wikidata”：https://www.wikidata.org/wiki/Q835016“，”display_name“：”Window（computing）“，”level“：2，”score“：0.6410755｝，｛”id“：”https://openalex.org/C160403385，“wikidata”：https://www.wikidata.org/wiki/Q220543“，”display_name“：”Queue“，”level“：2，”score“：0.61747974}，{”id“：”https://openalex.org/C2780385302，“wikidata”：https://www.wikidata.org/wiki/Q367158“，”“display_name”“：”协议（科学）“，”级别“：3，”分数“：0.54338175}，{”id“：”https://openalex.org/C167729594，“wikidata”：https://www.wikidata.org/wiki/Q17736“，”display_name“：”Axiom“，”level“：2，”score“：0.52693665}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.48419836}，{”id“：”https://openalex.org/C206175624，“wikidata”：https://www.wikidata.org/wiki/Q595731“，”display_name“：”分支（聚合物化学）“，”level“：2，”score“：0.46995926}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.41073343}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.33847123}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.31713623}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”level“：1，”score“：0.1361599}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.08153468}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C192562407，“wikidata”：https://www.wikidata.org/wiki/Q228736“，”display_name“：”材料科学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C204787440，“wikidata”：https://www.wikidata.org/wiki/Q188504“，”display_name“：”替代医学“，”level“：2，”score“：0.0｝，｛”id“：”https://openalex.org/C142724271，“wikidata”：https://www.wikidata.org/wiki/Q7208“，”display_name“：”病理“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C159985019，“wikidata”：https://www.wikidata.org/wiki/Q181790“，”display_name“：”复合材料“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-27815-3_15“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”issn“：[”0302-9743“，”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://ir.cwi.nl/pub/4122，“pdf_url”：https://ir.cwi.nl/pub/4122/04122D.pdf，“源”：{“id”：https://openalex.org/S4306400859“，”display_name“：”CWI的机构知识库（Centrum Wiskunde&Informatica）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I1341640284“，”host_organization_name“：”Centrum Wiskunde&Informatica“，”host_organization _lineage“：[”https://openalex.org/I1341640284“]，”host_organization_lineage_names“：[”Centrum Wiskunde&Informatica“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://ir.cwi.nl/pub/4122，“pdf_url”：https://ir.cwi.nl/pub/4122/04122D.pdf，“源”：{“id”：https://openalex.org/S4306400859“，”display_name“：”CWI的机构知识库（Centrum Wiskunde&Informatica）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I1341640284“，”host_organization_name“：”Centrum Wiskunde&Informatica“，”host_organization _lineage“：[”https://openalex.org/I1341640284“]，”host_organization_lineage_names“：[”Centrum Wiskunde&Informatica“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：27，“referrenced_works”：https://openalex.org/W1522429036","https://openalex.org/W1538436747","https://openalex.org/W1543180705","https://openalex.org/W1544459976","https://openalex.org/W1547562281","https://openalex.org/W1561813504","https://openalex.org/W1563533791","https://openalex.org/W1582292473","https://openalex.org/W1860481808网址","https://openalex.org/W1930138276","https://openalex.org/W193284173","https://openalex.org/W1972478730","https://openalex.org/W1985161650","https://openalex.org/W2009023733","https://openalex.org/W2019702515","https://openalex.org/W2027246586","https://openalex.org/W2068748360","https://openalex.org/W2080960387","https://openalex.org/W2101604841","https://openalex.org/W2109099490","https://openalex.org/W2115309705","https://openalex.org/W2135317805","https://openalex.org/W2164989576","https://openalex.org/W2167408655","https://openalex.org/W2174359540","https://openalex.org/W2571481842","https://openalex.org/W3158864670“]，”related_works“：[”https://openalex.org/W4297742300","https://openalex.org/W4295096867","https://openalex.org/W2941201715","https://openalex.org/W2807449856","https://openalex.org/W2803761277","https://openalex.org/W238211858","https://openalex.org/W2282814833","https://openalex.org/W2117548279","https://openalex.org/W2070252991","https://openalex.org/W2025727968“]，”ngrams_url“：”https://api.openalex.org/works/W2109099490/ngrams“，”“abstract_inverted_index”：{“We”：[0,21]，“prove”：[1]，“the”：[2,24,43,53]，“corrective”：[3]，“of”：[4,34,45,55]，“a”：[5,32]，“slip”：[6,25]，“window”：[7,13,26]，“protocol”：[8,27]，“with”：[9,52]，“an”：[10,46]，“任意”：[11]，“有限”：[12]，“size”：[14]，“n”：[15]，“and”：[16,49]，“sequence”：[17]，“numbers”：[18]，“modulo”：[19]，“2n.”：[20,36]，“show”：[22]，“that”：[23]，“是“：[28,39]，”分支“：[29]，”双相似“：[30]，”to“：[31]，”queue“：[33]，”capacity“：[35]，”The“：[37]，”proof“：[38]，”given“：[40]，”totally“：[41]，”on“：[42]，”basis“：[44]，”axiomatic“：[47]，”theory“：48]，”was“：[50]，”checked“：[51]，”help“：[54]，”PVS。“：[56]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W2109099490“，”counts_by_year“：[{”年“：2014，”cited_by_count“：2}]，”更新日期“：”2024-06-21T03:46:24.456990“，”创建日期“：“2016-06-24”}