{“id”：“https://openalex.org/W84571737“，”doi“：”https://doi.org/10.1007/978-3-540-45236-2_38“，”title“：”Interacting State Machines for Mobility“，”display_name“：”交互状态机for Mobility”，“publication_year”：2003，“publitation_date”：“2003-01-01”，“ids”：{“openalex”：“https://openalex.org/W84571737“，”doi“：”https://doi.org/10.1007/978-3-540-45236-2_38“，”mag“：”84571737“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-45236-2_38“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”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“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5040697376“，”display_name“：”Thomas A.Kuhn“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I1325886976“，”display_name“：”西门子（德国）“，”ror“：”https://ror.org/059mq0909“，”country_code“：”DE“，”type“：“company”，”lineage“：[”https://openalex.org/I1325886976“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Thomas A.Kuhn“，”raw_affiliation_strings“：[“[Siemens AG]”]，”affiliations“：[{”raw_affiliation_string“：”[Siemins AG]“，”institution_ids“：]”https://openalex.org/I1325886976“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5050598471“，”display_name“：”David von Oheimb“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I1325886976“，”display_name“：”西门子（德国）“，”ror“：”https://ror.org/059mq0909“，”country_code“：”DE“，”type“：“company”，”lineage“：[”https://openalex.org/I1325886976“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”David von Oheimb“，”raw _ afiliation_strings“：[“[Siemens AG]”]，”affiliations“：[{”raw _affiliation_string“：”[Siemins AG]“，”institution_ids“：]”https://openalex.org/I1325886976“]}]}]，”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“：1.216，”has_fulltext“：false，”cited_by_count ile_year“：{“最小”：74，“最大”：76}，“书目”：{”volume“：null，”issue“：nul，”first_page“：”698“，”last_page“：”718“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9987，“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.9987，“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/T12203“，”display_name“：”网络管理中的移动代理技术“，”score“：0.9987，”subfield“：{”id“：”https://openalex.org/subfields/1705“，”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/T10772“，”“display_name”：“系统中的分布式容错和一致性”，“score”：0.9971，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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/mobile-agents网站“，”display_name“：”Mobile Agents“，”score“：0.515498}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.84967756}，{”id“：”https://openalex.org/C17435882，“wikidata”：https://www.wikidata.org/wiki/Q17030435“，”display_name“：”HOL“，”level“：2，”score“：0.70029426}，{”id“：”https://openalex.org/C2779808786，“wikidata”：https://www.wikidata.org/wiki/Q6664603“，”display_name“：”Locality“，”level“：2，”score“：0.661877｝，｛”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.51642185}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.51562494}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.4965847}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.4860097}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634“，”display_name“：”分布式计算“，”level“：1，”score“：0.44056752}，{”id“：”https://openalex.org/C9652623，“wikidata”：https://www.wikidata.org/wiki/Q190109“，”display_name“：”字段（数学）“，”级别“：2，”分数“：0.44027632}，{”id“：”https://openalex.org/C201638289，“wikidata”：https://www.wikidata.org/wiki/Q457396“，”display_name“：”环境智能“，”level“：2，”score“：0.41988072}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.39597327}，{”id“：”https://openalex.org/C107457646，“wikidata”：https://www.wikidata.org/wiki/Q207434“，”display_name“：”人\u2013计算机交互“，”level“：1，”score“：0.20265904｝，｛”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯粹数学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-45236-2_38“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”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}]，“best_oa_location”：nuld，“sustainable_development_goals”：[{“id”：”https://metadata.un.org/sdg/10“，”display_name“：”Reduced不等式“，”score“：0.58}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：10，”referrenced_works“：[”https://openalex.org/W1493078761","https://openalex.org/W1550413022","https://openalex.org/W1869405107","https://openalex.org/W2128932399","https://openalex.org/W2137865376","https://openalex.org/W2175414161","https://openalex.org/W2561675875","https://openalex.org/W2911711976","https://openalex.org/W4234528212","https://openalex.org/W4243186596“]，”related_works“：[”https://openalex.org/W43811100","https://openalex.org/W3193153727","https://openalex.org/W3083750017","https://openalex.org/W2806477068","https://openalex.org/W2585743557","https://openalex.org/W2477568018","https://openalex.org/W2242084152网址","https://openalex.org/W2211039160","https://openalex.org/W2155335449","https://openalex.org/W1594958113“]，”ngrams_url“：”https://api.openalex.org/works/W84571737/ngrams“，”“abstract_inverted_index”：{“We”：[0,54135]，“present”：[1]，“two”：[2]，“instentiations”：[3]，“of”：[4,39132146]，“generic”：[5,40]，“Interactive”：[6]，“State”：[7]，“Machines”：[8]，“（ISM）”：[9]，“with”：[10,27,44,88162]，“mobility”：[11]，“features”：[12,60]，“which”：[13,91171]，“are”：[14,25]，“有用”：[15]，“用于”：[16126]，“建模”：[17]，“和“：[18,65,96,99118130159]，”验证“：[19]，”动态“：[20]，”更改“：[21]，”移动“：[22133147]，”系统。“：[23134]，”ISM“：[24,41,57,90]，”自动机“：[26]，”本地“：[28]，”状态“：[29,46]，”交换“：[30]，”消息“：[31]，”同时“：[32]，”打开“：[33,68]，”多个“：[34]，“缓冲”：[35]，”端口。“：[36]，“A”：[37]，“system”：[38]，“also”：[42]，“deals”：[43]，“global”：[45]，“used”：[47]，“例如”：[48]，“to”：[49，71922]，“describe”：[50173]，“their”：[51]，“communication”：[52，94]，“拓扑学”。“：[53]，”引入“：[55,92]，”环境“：[56168]，”（AmbISM）“：[58]，”其“：[59]，”包括“：[61]，”层次结构“：[62]，“环境”：[63]，“迁移”：[64]，“位置”：[66]，“约束”：[67]，“通信”。“：[69]，”In“：[70]，”this“：[71]，”way“：[22]，”we“：/73,85172]，”give“：[74]，”an“：[75104120]，”alternative“：%76]，”operational“：[77]，”semantics“：%78]，”the“：[80114127144155163]，”（boxed）“：[81]，”ambient“：[82157]，”calculations“。“：[83]，”“此外，”：[84]，“组合”：[86]，“AmbISMs”：[87]，“动态”：[89,93]，“结构”：[95]，“ISM”：[97107169]，“激活”：[98]，“失活”：[100]，“作为”：[101]，“定义”：[102111]，“in”：[103174]，“伴随”：[105]，“论文。All“：[106]，”variants“：[108]，”have“：[109]，”been“：[110]，”formallically“：[112]，”within“：[113165]，”theature“：[115]，”provider“：[116]，”Isabelle/HOL“：[117]，”supply“：[119]，”easy“：121]，”learn“：[123]，”description“：[124]，”language“：[125]，”development“：[128]，”documentation“：[129]，”verification“:131]，”motive“]，“我们的”：[137166]，“开发”：[138]，“由”：[139]，“a”：[140151]，“running”：[141]，“example”：[142]，“from”：[143]，“field”：[145]，“agent”：[148]，“systems”，“：[149]，“giving”：[150]，“reference”：[152]，“specification”：[153]，“using”：%154]，“boxed”：[156]，“calculus”：[158]，“comparing”：[160]，“it”：[161]，“formulation”：[164]，“（dynamic）”：[167]，“approach”：%170]，“细节。”：[175]}，“引用_ by_api_url”：“https://api.openalex.org/works？filter=cites:W84571737“，”counts_by_year“：[]，”updated_date“：”2024-06-21T21:04:51.962926“，”创建日期“：”2016-06-24“}