第一篇,祝贺一下,呵呵
2005-07-04 23:17
369 查看
一直关注程序员杂志(从其试刊开始),上CSDN也很久了,不过一直潜水,很少发帖,当然也谈不上写Blog,可能是性格还有时间比较紧的原因吧。在还剩下可能是求学生涯中最后一门课的时候,我突然有了写blog的冲动,权且当作是对自己以后的一种激励和鼓舞吧,
这几天的任务是看进程代数(process algebra)中的pi演算,Robin Milner的经典文章A Calculus of Mobile Processes写得确实好,读得可以说是琅琅上口,大师就是大师,非我辈可及啊。
Pure CCS 、Value-Passing CCS、pi演算,内容确实有点多,不过老师讲得还算好,并且3个形式系统还是很有连续性的,只要把握住核心的思想,理解文章应该没有什么问题。
今天就写到这里吧,希望自己能够坚持下去,也希望能够和各位大虾多多交流!!
这几天的任务是看进程代数(process algebra)中的pi演算,Robin Milner的经典文章A Calculus of Mobile Processes写得确实好,读得可以说是琅琅上口,大师就是大师,非我辈可及啊。
Pure CCS 、Value-Passing CCS、pi演算,内容确实有点多,不过老师讲得还算好,并且3个形式系统还是很有连续性的,只要把握住核心的思想,理解文章应该没有什么问题。
今天就写到这里吧,希望自己能够坚持下去,也希望能够和各位大虾多多交流!!
相关文章推荐
- 第一篇Blog,祝贺一下自己,呵呵!
- 今天是我的生日,为自己祝贺一下,呵呵
- 我的博客开通了,呵呵!第一篇文章!
- 在网上常听到说CEO CTO CIO CGO COO CFO什么什么..现在了解了一下..呵呵
- 摩根斯坦利——班上一下出了俩,呵呵
- 人生中第一篇论文,虽然是二作,也记录一下
- 大家有时间来研究一下MODI啊,呵呵……
- 今天發現了一個不錯的DELPHI的網站 ,呵呵 ,分享一下
- 没什么说的,第一篇文测试一下速度吧
- 今天注册成功,先祝贺一下吧
- 发第一篇文章,鼓励一下自己
- 首次刷机成功~庆祝一下。呵呵。
- 第一篇文章,测试一下:)
- NET技术 2004-06专家榜 呵呵, 又榜上有名了 ,纪念一下
- 我的新博客开通了,祝贺一下
- 总结一下 不用硬盘做系统 呵呵
- 2010年04月01日在这里开通个人空间和博客,祝贺一下!
- 有用的东西粘一下 呵呵
- 第一次上首页..呵呵记录一下
- 一个鼠标指针有关的启发(存在问题,可以参考一下 呵呵)