顾客服务提供商

CSP的跟踪语义。CSP是一种用于指定复杂并发系统的强大语言。由于进程的执行顺序和同步的不确定性,许多分析如死锁分析、可靠性分析和程序切片等都试图预测规范的属性,以保证最终系统的质量。这些分析通常依赖于CSP轨迹的使用。在这项工作中,我们介绍了在进程代数(如CSP)中跟踪并发和显式同步计算的理论基础。跟踪计算是一项困难的任务,因为底层操作语义的微妙之处,它结合了并发性、非确定性和不终止性。我们定义了一个工具化的操作语义,作为副作用生成一个适当的数据结构(track),它可以用来跟踪计算。跟踪语义的形式化定义提高了对跟踪过程的理解,同时也允许形式化地证明所计算轨迹的正确性。

zbMATH中的参考文献(参考文献1条)

显示结果1/1。
按年份排序(引用)

  1. 略伦斯,玛丽莎;奥利弗,哈维尔;席尔瓦,约瑟普;萨尔瓦多塔马里特:CSP的跟踪语义(2010)