以文本方式查看主题 - 中文XML论坛 - 专业的XML技术讨论区 (http://bbs.xml.org.cn/index.asp) -- 『 Web Services & Semantic Web Services 』 (http://bbs.xml.org.cn/list.asp?boardid=10) ---- 请问熟悉进程代数或者pi演算的大侠 (http://bbs.xml.org.cn/dispbbs.asp?boardid=10&rootid=&id=15713) |
-- 作者:xiaolee -- 发布时间:3/16/2005 10:12:00 PM -- 请问熟悉进程代数或者pi演算的大侠 只有英文资料,学习过程太艰难了。 比如 类似new a P或者p/a的很多表示方法都搞不清楚 还希望能找人请教一下!!多谢了! |
-- 作者:haiyang723117 -- 发布时间:4/7/2005 10:17:00 PM -- 我连英文资料都没有,相关进程代数和pi演算的资料发一份给我吧,谢谢! 邮箱:wangjun723@163.com |
-- 作者:yyhyq -- 发布时间:11/17/2005 6:20:00 PM -- 我们可以一起学习。QQ122187145 相互交流一下。 |
-- 作者:yyhyq -- 发布时间:11/17/2005 6:21:00 PM -- 如果想学习pi 演算,进程代数的,大家留一个QQ,我们交流一下,一起学习。。。
|
-- 作者:weimingxiaoy -- 发布时间:11/28/2005 9:28:00 PM -- 你说的是p\a吗?这个是ccs中的限制算子,也就是通道a对于p来说是私有的、局部的,其他进程观察不到; (new a)P,是pi中的限制算子。但由于pi中对于通道、进程、值不加区分,统称为名字,随着通信的发生,a的限制范围可以扩展。ccs中不可以 |
-- 作者:weimingxiaoy -- 发布时间:11/28/2005 9:33:00 PM -- 呵呵,你学到什么程度了。 我最近看了不少,不过目的是用,不是对pi做研究。欢迎讨论! 请教,Identifier汉语是怎么说的?A(x1,...xn)=P什么情况下用呢? |
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
62.500ms |