Kanellakis,巴黎C。;斯科特·斯莫尔卡。 关于通信过程网络中合作与对抗的分析。 (英语) Zbl 0636.68023号 算法 3,第3号,421-450(1988).MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Kanellakis}和\textit{S.A.Smolka},《算法3》,第3期,421--450(1988;Zbl 0636.68023) 全文: 内政部
斯科特·斯莫尔卡。;Kanellakis,巴黎C。 通信有限状态过程静态分析的最新结果。 (英语) Zbl 0637.68059号 分布式计算和通信的最新进展,208-233(1987)。 审核人:W.A.莫里斯 MSC公司:70年第68季度 68N25号 68问题85 PDF格式BibTeX公司 XML格式
斯科特·斯莫尔卡。 一类通信过程的多项式时间分析。 (英语) Zbl 0548.68020号 编程,程序。国际交响乐团。,第六科洛克,图卢兹,1984年,马萨诸塞州。注释计算。科学。第167251-262页(1984年)。MSC公司:68N25号 PDF格式BibTeX公司 XML格式