陈燕文;陈一香;艾瑞克·马德琳 Timed-pNets:分布式系统的通信行为语义模型。 (英语) Zbl 1403.68138号 前面。计算。科学。 9,第1期,87-110(2015).MSC公司:68问题85 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chen}等人,前面。计算。科学。9,第1号,87--110(2015;Zbl 1403.68138) 全文: 内政部 哈尔
陈清亮;苏凯乐;胡勇;胡贵武 多智能体系统时间知识的完整联盟逻辑。 (英语) Zbl 1403.68256号 前面。计算。科学。 9,第1期,75-86(2015).MSC公司:68T27型 68立方英尺 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{Q.Chen}等人,前。计算。科学。9,第1号,75--86(2015;Zbl 1403.68256) 全文: 内政部
科伦坡托萨托,西尔瓦诺;皮埃尔·凯尔森;马,秦;马尔瓦尼·卡尔比利;圭多州长;范德托雷、伦德特 可处理的遵从性问题的算法。 (英语) Zbl 1403.68077号 前面。计算。科学。 9,第1期,55-74(2015).MSC公司:65年第68季度 68瓦40 90B70型 PDF格式BibTeX公司 XML格式引用 \textit{S.Colombo Tosatto}等人,前面。计算。科学。9、1号、55--74(2015;Zbl 1403.68077) 全文: 内政部
他,费;宋晓宇;顾,明;孙家光 具有多播同步的广义接口自动机。 (英语) Zbl 1403.68113号 前面。计算。科学。 9,第1期,第1-14页(2015年).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.He}等人,前面。计算。科学。9、1号、1-14(2015;Zbl 1403.68113) 全文: 内政部