法比奥·加杜奇;埃尔南·梅尔格拉蒂;克里斯蒂安·罗尔丹;马蒂奥·桑马蒂诺 复制数据类型的实现正确性。 （英语） Zbl 07369994号 Pun，Violet Ka I.（编辑）等人，《计算的理论方面——ICTAC 2020》。第17届国际学术讨论会，中国澳门，2020年11月30日至12月4日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12545, 283-303 (2020). 摘要：复制的数据类型(无线电数据终端s） 被引入作为处理弱一致性数据存储的抽象，这些数据存储可能（暂时）暴露其状态的多个不一致视图。在文献中，无线电数据传输s通常以集合理论术语表示：只是最近才提出了不同的规范风格，其中包括一种指称形式主义，它特别捕捉到规范细化。然而，到目前为止，还没有针对实现及其相对于规范的正确性提出抽象模型。本文填补了这一空白：我们首先给出了从规范中提取操作模型的分类结构及其实现，然后通过仿真定义了实现正确性的概念。关于整个系列，请参见[Zbl 1464.68020号]. 引用于1文件 MSC公司： 68季度xx 计算理论 关键词：复制的数据类型;规范;操作语义学;功能表征;实现正确性 PDF格式BibTeX公司 XML格式引用 \textit{F.Gadducci}等人，Lect。注释计算。科学。12545283-303（2020年；兹bl 07369994） 全文： 内政部