阿斯特里德·基恩；阿伦·库马尔，S。 摊销的相互刺激。 （英语） Zbl 1169.68545号 Wang，Farn（编辑），网络和分布式系统的形式化技术–FORTE 2005。第25届IFIP WG 6.1国际会议，台湾台北，2005年10月2-5日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29189-X/pbk）。计算机科学课堂讲稿3731320-334（2005）。 小结：通过整合摊销的概念，我们引入了一个相互模拟的定量概念（参见[3]）。这使我们能够在本质上不终止的非确定性系统之间进行行为比较，并分析部署这些系统的相对长期成本。为此，我们保守地将CCS扩展到包括一组新的基于成本的行动，并定义了一种基于成本的定量关系，称为摊销互模拟。我们通过两个案例研究证明了我们的方法的适用性。在这两种情况下，额外管理成本均显示为摊销。我们进一步证明了年引入的速度摊销预购[G.Lüttgen和W.福格勒，“速度互模拟：统一方法”，Lect。票据计算。科学。3441, 79–94 (2005;Zbl 1097.68585号)]在我们的环境中自然可以表达。有关整个系列，请参见[Zbl 1089.68015号]. 引用于1审查引用于7文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 引文：Zbl 1097.68585号 PDF格式BibTeX公司 XML格式引用 \textit{A.Kiehn}和\textit{S.Arun-Kumar}，莱克特。票据计算。科学。3731320-334（2005年；Zbl 1169.68545） 全文： 内政部