PTSC公司

此软件的关键字
zbMATH中的参考文献(参考文献 6条 , 1标准件 )
谢婉玲; 朱惠标; 徐启文:移动系统的过程演算及其形式语义(2021) 施、玲; 赵永新; 刘、杨; 孙军; 董金松; 秦胜超:PVS中共享变量进程通信的UTP语义及其形式化编码(2018) 霍尔,托尼; 范斯塔登,斯蒂芬; 莫勒,伯恩哈德; 斯特拉斯,乔治; 朱惠标:并行Kleene代数的发展(2016) 朱惠标; 桑德斯,杰夫W。; 何继峰; 秦胜超:概率时间共享变量语言的指称语义(2013) 朱惠标; 杨,范; 何继峰; 鲍恩,乔纳森P。; 桑德斯,杰夫W。; 秦胜超:《概率定时共享变量语言的运算语义与代数语义的联系》(2012) 朱惠标; 秦圣超; 何继峰; Jonathan P.Bowen:PTSC:概率、时间和共享变量并发性(2009) ioport公司