CSSim公司 swMATH ID: 13312 软件作者： 菲利普·布鲁克。；理查德·佩奇（Richard F.Paige）。；杰里米·雅各布。 描述： 埃菲尔SCOOP的CSP模型。描述了Eiffel的简单并发面向对象编程（SCOOP）机制的当前非正式语义。我们使用进程代数CSP构造并讨论了一个模型。该模型为SCOOP提供了比以前更正式的语义。par我们通过一个名为CSPsim的新工具以机械方式实现模型。我们研究了SCOOP的两种语义变体：何时和多远传递锁，以及何时等待子调用完成。我们提供的证据表明，等待子调用完成会在不增加安全性的情况下降低并行性，并增加涉及回调的死锁。par通过模型的创建和分析，我们发现了一些与保留和底层运行时系统相关的模糊性，并提出了解决这些模糊性的方法。 主页： https://www.scm.tees.ac.uk/p.j.brooke/cspsim网站/ 关键词： 并发;形式化方法;编程语言;艾菲尔;勺 相关软件： 艾菲尔;勺;TCOZ公司;马戏团;阿达95;布吉;Java PathFinder;电子稳定控制系统/Java;规格#;JML公司;自旋蛋白;格拉夫维兹 引用于： 4出版物 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 埃菲尔SCOOP的CSP模型。 Zbl 1131.68034号菲利普·布鲁克。;理查德·佩奇（Richard F.Paige）。;杰里米·雅各布。 2007 全部的 前5名8位作者引用 2 菲利普·布鲁克。 2 理查德·佩奇（Richard F.Paige）。 1 黄海峰 1 杰里米·雅各布。 1 彼得·尼纳尔托夫斯基 1 乔纳森·奥斯特罗夫。 1 伯恩德·舍勒 1 法拉兹·艾哈迈迪（Faraz Ahmadi Torshizi） 连载1篇 4 计算的形式方面 在1个字段中引用 4 计算机科学（68至XX） 按年份列出的引文