休伯特·加拉维 重温过程计算中的序列构成。 (英语) 兹比尔1330.68201 J.日志。阿尔盖布。方法计划。 84,第6期,742-762(2015).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel},J.Log。阿尔盖布。方法计划。84,第6号,742--762(2015;Zbl 1330.68201) 全文: 内政部
弗雷德里克·朗;格温·萨拉恩;雷米·Hérilier;杰夫·克莱默;杰夫·马吉 将FSP转换为LOTOS和自动机网络。 (英语) Zbl 1214.68220号 正式Asp。计算。 22,第6期,681-711(2010).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Lang}等人,正式Asp。计算。22,第6号,681--711(2010;Zbl 1214.68220) 全文: 内政部