Ernst-Erich Doberkat 使用coalgebras和Giry monad解释游戏逻辑–教程。 (英语) Zbl 1403.68139号 前面。计算。科学。 948-970(2017)第6号第11页.MSC公司:68问题85 03B45号 03B70号 03G30型 18个C20 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.-E.Doberkat},前面。计算。科学。11,第6号,948--970(2017;Zbl 1403.68139) 全文: 内政部 arXiv公司
陈燕文;陈一香;艾瑞克·马德琳 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) 全文: 内政部 哈尔