维普中文期刊产品整合服务
4篇 您的检索式:作者名="Robin Milner"
    题名 作者 年代 出处 被引量
1交互作用之基础显示文摘这篇文章是R.Milner的图灵奖演讲,他回顾了自己在顺序范型的指导下寻找并发的基本模型(通信系统演算CCS)的艰难历程,并在最后概述一个新的基本并发演算π-演算。全文思路开阔,追本溯原,深入浅出,读来颇受启迪。Robin Milner 李舟军 刘海燕 1994计算机科学1994,21,3:2
2A calculus of mobile Process (Parts I and II)显示文摘 Joachim Parrow David Walker 1992Information and Computation1992,100,1:1
3A calculus of mobile processes: Ⅰ显示文摘Robin Milner Joachim Parrow Walker 1992J of Information and Computation1992,100,:1
4A calculus of mobile processes: Ⅱ显示文摘Robin Milner Joachim Parrow Walker 1992J of Information and Computation1992,100,:1
返回顶部 每页显示:
共1页 首页 上一页 第1页 下一页 末页 /1 跳转

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1 渝公网安备 50019002500403号 违法和不良信息举报中心

互联网出版许可证 新出网证(渝)字10号 全国400电话 - 免长途话费