CSP

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

ZBMaCT中的参考文献(1篇文章中提到)

显示1的结果1。
按年份排序(引文

  1. Llorens,玛丽莎;奥利弗,哈维尔;席尔瓦,Josep;TaMARIT,萨尔瓦多:CSP(2010)的跟踪语义学