博文
- 谈谈无穷Petri网。2011全国Petri网学术年会上的报告
- 2011 第十三届全国 Petri 网理论与应用学术年会上的报告 报告题目： 谈谈无穷 Petri 网。 报告人： 郝克刚，西北大学信息与技术学院教授。 报告时间： 2011.8.20. 报告地点： 北京外国专家大厦二楼多功能厅。 内容简介： ...
- pi-演算模型介绍及其表达能力的研究--报告讲稿
- 热度 1
- 请看我去年给学生做的一个报告的讲稿: pi- 演算模型介绍及其表达能力的研究 庆贺西北大学计算机科学系成立三十周年学术报告会 报告题目： π - 演算模型介绍及其表达能力的研究 报告人： 西北大学信息学院计算机科学系 郝克刚 教授 ...
- 对π演算（Pi演算）理解的常见错误
- 热度 2
- 对 π 演算（ Pi 演算）理解的常见错误 郝克刚 2011.6.14. ...
- 一篇有关π演算论文的评审意见
-
一篇有关 π 演算论文的评审意见 这是我对某教授和他的学生写的一篇论文的评审意见，放在博客中供大家共享。我隐去了教授的名字，用 “Y” 代替。 郝 老师： 我和我的学生学习 π 演算，写了一个文章，因学的肤浅，试着写的，请您给看看 ...
- 关于Petri网和Pi演算的问题的交谈信件
- 下述交谈信件也许对某些读者有用，特放在博文中同大家共享，我隐去了来信研究生的名字。 关于 Petri 网和 Pi 演算的问题的交谈信件 尊敬的郝教授： 您好。打扰您休息了。您在 Petri 网方面深厚的造诣，使我很冒昧的问您一些关于 Petri 网和 Pi ...
