CSP公司 swMATH ID: 8678 软件作者： 霍尔 描述： CSP的跟踪语义。CSP是一种用于指定复杂并发系统的强大语言。由于进程的执行顺序和同步的不确定性，许多分析，如死锁分析、可靠性分析和程序切片，试图预测规范的属性，从而保证最终系统的质量。这些分析通常依赖于CSP痕迹的使用。在这项工作中，我们介绍了跟踪进程代数（如CSP）中并发和显式同步计算的理论基础。由于结合了并发性、非确定性和非终结性的底层操作语义的微妙性，跟踪计算是一项困难的任务。我们定义了一种插装操作语义，它可以生成一个适当的数据结构（轨迹）作为副作用，用于跟踪计算。跟踪语义的形式化定义提高了对跟踪过程的理解，但也允许形式化地证明计算出的轨迹的正确性。 主页： http://en.wikipedia.org/wiki/Communicating_sequential_process网站 相关软件： 引用于： 1文件 4位作者引用 1 玛丽莎·洛伦斯 1 哈维尔·奥利弗 1 乔塞普·席尔瓦 1 萨尔瓦多塔马利特 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文