以文本方式查看主题

-  计算机科学论坛  (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=35266)


--  作者:feifeifly
--  发布时间:7/5/2006 10:49:00 PM

--  向熟悉Pi演算的高手请教!
向熟悉Pi演算的高手请教!

我希望找到一个Pi演算工具(就像MWB,PICT那样)能够同时满足:
1 支持fusion运算,就是可以模拟'a<c> | a(c) 最后归结到0;
2 支持过程定义和递归使用,如agent A(a,b) = 'a.b.A<a,b>
3 最好是用Java语言书写的,方便程序调用;当然,如果开源更好。

如果哪位高手知道有这样的工具,请一定不吝赐教!或者您能肯定还没有这样的工具,也请明确告知,最好同时告知退而求其次的选择!

谢谢各位大侠!


--  作者:poseidonli
--  发布时间:11/28/2006 9:46:00 PM

--  
同求!
--  作者:feifeifly
--  发布时间:11/29/2006 7:12:00 PM

--  
你也需要这种Pi演算工具吗?具体要做什么?

我后来调查了一下,似乎的确没有现成的。我就在FusionMachine的基础上自己写了一个,不过是个半成品,后来别的事情太多,一直没有真正完成。


W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
125.000ms