以文本方式查看主题

-  中文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