{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,4,8]]，“日期-时间”：“2024-04-08T07:09:48Z”，“时间戳”：1712560188448}，“参考-计数”：0，“出版商”：“剑桥大学出版社（CUP）”，“发行”：“3”，“许可证”：[{“开始”：“日期-零件”：[[2004,5,20]]，”日期-时间“：“2004-05-20T00:00:00Z”，“时间戳”：1085011200000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”Math.Struct.Comp.Sci.“]，”published-print“：{”date-parts“：[2004,6]}”，“abstract”：“”本文描述了M的设计和语义预计到达时间LAIM<\/jats:sc>，这是一种配备分段机制的高阶分布式进程演算。M（M）预计到达时间LAIM集成了META ML（用于多阶段编程的SML的扩展）和KLAIM<\/jats:sc>（一种用于Agent交互和移动性的内核语言），以允许元编程活动的交错（例如代码片段的组装和链接），在广域网上对管理边界和传统计算活动（例如远程通信和代码移动）的安全策略进行动态检查。M（M）预计到达时间LAIM利用了强大的类型系统（包括多态类型\u00e1 la处理高度参数化的移动组件并动态实施安全策略：类型是在运行时从代码中提取的元数据，用于表示信任保证。动态类型检查可确保在计算与可能不受信任的组件进行互操作时维护广域网应用程序的可靠性保证<\/jats:p>“，”DOI“：”10.1017\/s0960129504004165“，”type“：”journal-article“，”created“：{”date-parts“：[[2004,5,24]]，”date-time“：”2004-05-24T07:42:20Z“，”timestamp“：1085384540000}，”page“：“，”卷“：”14“，”author“：[{”given“：”GIANLUIGI“，”family“：”FERRARI“，“sequence”：“first”，“affiliation”：[]}，{”fixed“：”EUGENIO“，”家族“：”MOGGI“，”sequence“：”additional“，”affiliance“：[]{”，{“given”：“ROSARIO”，“family”：“PUGLIESE”，“session”：“additional”，“abfiliation“：[]}]”，“member”：“56”，“published-on-line”：{“date-parts”：[[2004,5,20]}，“集装箱运输”：[“计算机科学中的数学结构“]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129504004165“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2019,3,31]]，”date-time“2019-03-31T18:53:01Z“，”timestamp“：1554058381000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129504004165\/type\/journal_article”}，“subtitle”：[]，“short title”：[]，“issued”：“{”date-parts“：[[2004,5,20]]}”，“references-count”：0，“journal-aissue”：“}”“，”published-print“：{”date-parts“：[[2004,6]]}}，“alternative-id”：[“S0960129504004165”]，“URL”：“http://\/dx.doi.org\/101017\/s0960129540004165”，“关系”：{}，“ISSN”：[”0960-1295“，”1469-8072“]，“ISSN-type”：[{“value”：“0960-1295'，”type“：”print“}，”value“：“1469-8072'，”类型“：”electronic“}]，“subject”：【】，“published”：{“date-pa”rts“：[[2004,5,20]]}}}