以文本方式查看主题

-  W3CHINA.ORG讨论区 - 语义网·描述逻辑·本体·RDF·OWL  (http://bbs.xml.org.cn/index.asp)
--  『 Web Services & Semantic Web Services 』  (http://bbs.xml.org.cn/list.asp?boardid=10)
----  Pi-Calculus 资料合集  (http://bbs.xml.org.cn/dispbbs.asp?boardid=10&rootid=&id=24175)

--  作者：admin
--  发布时间：11/12/2005 12:27:00 AM

--  Pi-Calculus 资料合集
很多朋友要关于Pi-Calculus的文章/资料，那我先起了头，上传一些我以前收集的资料。欢迎补充！


（推荐）The Polyadic pi-Calculus: A Tutorial  by Robin Miller

（推荐）Mobile Processes: a Commented Bibliography  

A pi-calculus model of a Spanish fish market -- Preliminary Report

Pi-Calculus for Web Services  

Review of The pi-calculus: A Theory of Mobile Processes

Pi Calculus Versus Petri Nets

FAQ on π-Calculus

New directions in implementing the pi calculus  


[此贴子已经被作者于2005-11-12 1:26:49编辑过]
--  作者：yyhyq
--  发布时间：11/17/2005 6:13:00 PM

--  
下载不了。。。
--  作者：yyhyq
--  发布时间：11/17/2005 6:14:00 PM

--  
能不能发我油箱啊。。谢谢。。yyhyq@163.com
--  作者：admin
--  发布时间：11/17/2005 7:42:00 PM

--  
试了，都可以下载的呀。会不会是你的local network问题？
--  作者：yyhyq
--  发布时间：11/18/2005 11:13:00 AM

--  
今天可以了。谢谢。
--  作者：bangbangtang
--  发布时间：11/18/2005 3:23:00 PM

--  
pi calculus 的资料不太好找，谢谢。
--  作者：yyhyq
--  发布时间：11/19/2005 2:16:00 PM

--  
是的，楼上的也搞π演算吗？
--  作者：xinxindong
--  发布时间：3/1/2006 10:43:00 AM

--  
站长就是强，谢了！
--  作者：jpro
--  发布时间：3/7/2006 8:55:00 AM

--  
谢谢，能下！
--  作者：mainstay
--  发布时间：3/16/2006 5:43:00 PM

--  
我下不了
--  作者：admin
--  发布时间：3/16/2006 7:40:00 PM

--  
以下是引用mainstay在2006-3-16 17:43:00的发言：
我下不了

我试了，可以下的。请问你那里报什么错误？

--  作者：mainstay
--  发布时间：3/18/2006 8:27:00 PM

--  
不好意思，看来是浏览器或者是那个暴风下载工具的问题，直接用ie后可以下载了
--  作者：awetman
--  发布时间：3/22/2006 9:59:00 PM

--  
谢谢站长同志
--  作者：wucuilan8-27
--  发布时间：3/23/2006 3:00:00 PM

--  
谢谢
--  作者：yangzhibin6688
--  发布时间：6/12/2006 10:04:00 PM

--  
谢谢兄弟的Pi演算资料，我找了一个月了也没找着啊，十分感谢啊，能常和兄弟联系么？一起探讨Pi演算的问题，交个朋友：）
--  作者：jiachong
--  发布时间：6/13/2006 1:26:00 PM

--  
好东东，谢谢
--  作者：chenyr
--  发布时间：6/16/2006 4:28:00 PM

--  
有用MWB做形式化验证的吗？一起讨论吧！QQ：329754473
--  作者：yswang168
--  发布时间：3/28/2007 5:00:00 PM

--  
pi-演算和CCS有啥子不同啊?
--  作者：小礼哥
--  发布时间：8/24/2007 1:44:00 PM

--  
多谢！
--  作者：hasgi
--  发布时间：8/24/2007 2:25:00 PM

--  
no bad, pi calculs and petri net are both wonderful formal method for BPM and SOC.... thank you for find these papers, from stanford uni website maybe
--  作者：bcqxx
--  发布时间：8/27/2007 2:57:00 PM

--  
谢谢了，不错，都是不好找的东东
--  作者：sunspring8
--  发布时间：1/14/2008 3:27:00 PM

--  
谢谢！非常好的资料
--  作者：venustef
--  发布时间：1/14/2008 8:43:00 PM

--  
很好的pi演算资料，谢谢
--  作者：wild2005
--  发布时间：3/14/2008 5:21:00 PM

--  
谢谢共享
--  作者：whsatan
--  发布时间：4/22/2008 11:52:00 AM

--  
谢谢啊，但有没有中文点的啊。。 。。
--  作者：wild2005
--  发布时间：4/27/2008 8:29:00 PM

--  
大家有好的网站或者论坛、qq群之类的讨论的地方吗
--  作者：fanrui_nc
--  发布时间：4/30/2008 5:27:00 PM

--  thanks
thanks!!!!
--  作者：2点25
--  发布时间：7/21/2008 11:27:00 AM

--  
研究pi演算的人还真多啊 ...
--  作者：2点25
--  发布时间：7/21/2008 11:36:00 AM

--  
怎么后面的都下不下来
--  作者：admin
--  发布时间：7/21/2008 11:39:00 AM

--  
以下是引用2点25在2008-7-21 11:36:00的发言：
怎么后面的都下不下来

具体哪个下载不了？请报链接和错误消息

--  作者：2点25
--  发布时间：7/21/2008 5:48:00 PM

--  
第一个和第三个能下.第二个和第四个不行.其他的我就没试了。
--  作者：2点25
--  发布时间：7/21/2008 5:49:00 PM

--  
有没有人研究第一个资料的,我看到第三章,看不下去了。关于加法和copy和succ哪里,一头雾水啊.
--  作者：james.j.lee
--  发布时间：7/29/2008 5:54:00 PM

--  
感谢站长，这是很有价值的资料
--  作者：amili2008
--  发布时间：9/5/2008 3:02:00 PM

--  
非常有用的资料，喜欢。在看第三篇。
--  作者：winterball
--  发布时间：11/13/2008 10:01:00 PM

--  
感谢楼主！！
--  作者：qupanWind
--  发布时间：11/15/2008 9:12:00 PM

--  
pi是什么的缩写？
--  作者：admin
--  发布时间：11/15/2008 9:43:00 PM

--  
以下是引用qupanWind在2008-11-15 21:12:00的发言：
pi是什么的缩写？

希腊字母pi

--  作者：daan
--  发布时间：1/2/2009 10:36:00 AM

--  
楼主感谢哦
--  作者：lizhuang
--  发布时间：3/27/2009 9:46:00 AM

--  
谢谢楼主啦，对我的硕士论文大有好处啊，研究中
如果还有研究π演算的加我qq 249744396共同研究啊，加时注明π演算
--  作者：minminy
--  发布时间：4/23/2009 9:32:00 AM

--  
感谢lz啊，真是非常有用啊。。。
--  作者：leguan1226
--  发布时间：4/28/2009 2:17:00 PM

--  
我也来发一个Pi演算的经典书籍，Robin Milner的原著《Communicating and Mobile System: the π-Calculus》，是djvu格式的，用WinDjView格式可以打开







--  作者：jinglanle
--  发布时间：2/4/2010 5:56:00 PM

--  
怎么下 我是新来的
--  作者：yunu
--  发布时间：3/14/2010 3:08:00 PM

--  
腰都累断了 咋下不来呢
--  作者：bcefly
--  发布时间：3/17/2010 2:47:00 PM

--  
谢谢楼主！辛苦了！
--  作者：service365
--  发布时间：3/25/2010 3:28:00 PM

--  
绝对要赞的
--  作者：mhfan
--  发布时间：8/8/2010 9:54:00 AM

--  
都是英文的，郁闷
--  作者：chinawin01
--  发布时间：9/14/2010 3:21:00 PM

--  
谢了，都能下，准备好好看看
--  作者：xlscut
--  发布时间：11/25/2010 11:46:00 PM

--  
好多谢了
--  作者：tita
--  发布时间：12/30/2010 9:48:00 PM

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