一直关注程序员杂志（从其试刊开始），上CSDN也很久了，不过一直潜水，很少发帖，当然也谈不上写Blog，可能是性格还有时间比较紧的原因吧。在还剩下可能是求学生涯中最后一门课的时候，我突然有了写blog的冲动，权且当作是对自己以后的一种激励和鼓舞吧，
这几天的任务是看进程代数（process algebra）中的pi演算，Robin Milner的经典文章A Calculus of Mobile Processes写得确实好，读得可以说是琅琅上口，大师就是大师，非我辈可及啊。
Pure CCS 、Value-Passing CCS、pi演算，内容确实有点多，不过老师讲得还算好，并且3个形式系统还是很有连续性的，只要把握住核心的思想，理解文章应该没有什么问题。
今天就写到这里吧，希望自己能够坚持下去，也希望能够和各位大虾多多交流！！
314
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
