Zöbel，D。 标准格式-在CSP程序中转换。（CSP程序的范式转换）。 （德语） Zbl 0646.68032号 福施·Informatik。恩特维克。3，No.2，64-76（1988）。 对于分布式算法的规范，CSP已经获得了很大的兴趣。这种趋势源于这样一个事实，即最重要的控制结构的语义定义已经涉及到全局条件（例如，分布式终止约定、I/O保护、故障）。这些概念非常强大，但很难实施。现在，我们的方法提供了一个完整的转换系统，可以将任何CSP程序映射到一个易于实现的版本中。文本操作是通过逐步应用变换来实现的，这些变换可以根据其域进行组合。它们的密码域是等效的和归一化的CSP程序。 引用于三文件 MSC公司： 68N25号 操作系统理论 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：范式转换;PROLOG中的实现;程序转换;分布式算法;CSP公司;分布式终止约定;I/O防护装置 PDF格式BibTeX公司 XML格式