|
以文本方式查看主题 - 中文XML论坛 - 专业的XML技术讨论区 (http://bbs.xml.org.cn/index.asp) -- 『 理论计算机科学 』 (http://bbs.xml.org.cn/list.asp?boardid=64) ---- 探讨一下用pi演算表达程序的switch语义 (http://bbs.xml.org.cn/dispbbs.asp?boardid=64&rootid=&id=28826) |
|
-- 作者：shaoshao -- 发布时间：3/17/2006 6:11:00 PM -- 探讨一下用pi演算表达程序的switch语义 switch结构很好表达 用一个进程Q＝a（x）.([x=m1]P1+[X=m2]P2+...)可以表达了 但是问题在于a<?>这个输出的进程如何表达了？因为输出动作输出的是一个具体的值，而程序在运行的时候有很多种情况，那么如何来表达这种语义呢？ 这样的输出动作也用非确定选择吗?－－a（m1）＋a(m2) 如果碰到无穷域的时候又怎么办呢？用非确定选择的时候就表达不过来了 |
|
-- 作者：Charlesjun -- 发布时间：9/29/2009 10:34:00 PM -- 我也想知道，怎么表达？lz你想出来了么？ |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
31.250ms |