洛科·德尼古拉;丹尼尔·戈拉;罗萨里奥·普格利泽 元组空间动态网络中的全局计算。 （英语） Zbl 1178.68160号 科学。计算。程序。 64，第2期，187-204（2007）。 小结：我们提出了tKlaim（TopologicalKlaimam），这是一种过程描述语言，保留了Klaim的主要特征（过程分布和移动性，通过分布式数据空间进行远程和异步通信），但用新的结构对其进行了扩展，以灵活地建模网络的互连结构及其在时间上的演变。我们展示了如何使用tKlaim对一些有趣的分布式应用程序进行建模，以及如何通过利用观测等价性来研究不同抽象级别的系统描述之间的关系，从而在出现故障的情况下保证系统的正确性。 引用于1文件 MSC公司： 68N99型 软件理论 68宽15 分布式算法 关键词：全局计算;形式化方法;观察等价;分布式算法;程序验证 软件：科莱姆;tK目标;MWB公司 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}等人，科学。计算。程序。64，第2号，187--204（2007；Zbl 1178.68160） 全文： 内政部