一篇有关π演算论文的评审意见

这是我对某教授和他的学生写的一篇论文的评审意见，放在博客中供大家共享。我隐去了教授的名字，用“Y”代替。

郝老师：
   我和我的学生学习π演算，写了一个文章，因学的肤浅，试着写的，请您给看看，提些修改意见。
Y  2011.5.30.

-------------------------------------------------------

Y，你好！

看到来信非常高兴。能学习Pi演算并试图用于实际，此精神很可贵，希望坚持下去。

初步看了一下，提出如下意见，供参考。

1.         下面是我对另一篇文章的批语：“业界有些人有个不好的做法，就是在自己的文章中，按照自己的理解来定义π 演算，结果五花八门，令人无可适从。最好的方法就是引用原著的定义。例如，Milner的原著： Milner R. Communicating and mobile systems : The π-calculus ，Cambridge University Press , 1999。最近林惠民院士将此书翻译出版，Milner还专门为此中译本写了序言，对中国学者有较高的期待。我想此书的出版会对改善这种状况有很大的帮助。”

2.         你的文章有同样的问题。看来你采用的是带有[x=y] π前缀的Pi演算系统，最好引用权威文章的原定义，如The π-Calculus A Theory of Mobile Processes Davide Sangiorgi, David Walker Published December 2001 592 pages。你的表述有问题，不知是你的表述问题还是所引用的文章的问题。要仔细体会其中的差别，列举如下：

3.         π演算的语法定义中有个（1）（2）（3）（4）又有个（1）（2）（3）是什么意思？

4.         和式： ∑_i∈I P_i 。这是错的。π演算的语法定义中和式中的项必须是带前缀的表达式，不是任何进程表达式P_i都可作为式中的项。正确的表达应该是

    ∑_i∈I π_i . P_i

5.         匹配表达式：[x=y]P。这同样是错的。[x=y]是作为[x=y] π，在前缀中出现的。

π :: = a(x)| ā <x> |τ|[x=y] π 。正确的表达应该是[x=y] π. P

6.       因而，如下定义的π演算的定义式是错误的：

P:: = 0 | P₁+P₂ | a(x) | ā<x> |τ.P | !P |new_x P

a(x)，ā<x>是前缀，不是表达式；P₁+P₂的错误如前所述。

7.         π演算的操作语义中的（1-7）同（8-14）有何区别？

8.         注意π演算的操作语义中的āyP 应是āy.P，其中表示前缀的“.”不可省略。

9.         π演算的操作语义中的求和（SUM）有错，见上面关于和式的讨论。

10.     π演算的操作语义中的匹配（MATCH）有错，见上面关于匹配表达式讨论。正确的应是：

11.     很可能你的表述引自某篇文章，但是正如上面所指，即使已经发表的文章也可能是理解错误的。所以一定要引自权威的原文。

郝克刚  2011.6.1.

---------------------------------------------

郝老师：您好！

      非常感谢您能抽时间看这个文章，我们一定按您提的意见认真修改，我和我的学生最近开始学习林惠民院士翻译的这个书，已讨论了2次，还没完全理解，还望您能多指教！   Y 2011.6.1.

----------------------------

郝2011.6.2.：有问题共同研讨，我也在学习。

-----------------------------

Y 2011.6.3.：谢谢郝老师!  我们到时集中一些问题一起向您请教.