范·阮;阿兰·德默斯;大卫·格里斯;苏珊·奥维基 过程网络的模型和时间证明系统。 (英语) Zbl 0598.68025号 分布式计算。 1, 7-25 (1986).MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{V.Nguyen}等人,分布计算。1、7--25(1986年;Zbl 0598.68025) 全文: 内政部
范·阮;阿兰·德默斯;大卫·格里斯;苏珊·奥维基 行为:过程建模的时间方法。 (英语) Zbl 0606.68022号 程序逻辑,Proc。Conf.,布鲁克林/纽约,1985年,Lect。注释计算。科学。193, 237-254 (1985).MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式