×
卢卡·埃特罗;Wan Fokkink公司;安娜·英格尔夫斯多蒂;巴斯·卢提克

具有左合并和通信合并的CCS有限方程组。 （英语） Zbl 1367.68207号

ACM事务处理。计算。日志。 10，第1号，第6条，第26页（2009年）.

引用于11文件

理学硕士：

68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等）
68问题55 计算理论中的语义学

关键词：

双相似性;CCS系统;通信合并;并发;有限方程基;握手;左合并;平行合成;进程代数
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，ACM Trans。计算。日志。10，第1号，第6条，第26页（2009年；Zbl 1367.68207）
全文： 内政部 链接