多米尼克·杰尼特;雷内·斯科特;蒂莫尼埃,卢安斯 马尔科夫并发度量。 (英语) Zbl 0759.68021号 CAAP’90,程序。第15届Colloq.,哥本哈根/丹麦,1990年,法律。注释计算。科学。431, 177-190 (1990).MSC公司:2010年第68季度 60J10型 PDF格式BibTeX公司 XML格式引用 \textit{D.Geniet}等人,Lect。注释计算。科学。43117--190(1990年;Zbl 0759.68021)
多米尼克·杰尼特;蒂莫尼埃,卢安斯 使用生成函数计算并发性。 (英语) 兹比尔0757.68053 计算理论基础。国际会议,FCT’89,Szeged/Hung。1989年,Lect。注释计算。科学。380, 185-196 (1989). 审核人:D.格鲁斯卡(布拉迪斯拉发) MSC公司:2010年第68季度 2015年1月5日 PDF格式BibTeX公司 XML格式引用 \textit{D.Geniet}和\textit{L.Thimonier},莱克特。注释计算。科学。无,185-196(1989年;Zbl 0757.68053)