大卫·哈雷尔;罗尼·罗斯纳 算法。计算精神。第2版。 (英语) Zbl 0755.68003号 阿姆斯特丹等:Addison-Wesley出版集团。十五、 第476页(1992年)。 审核人:T.R.Walsh(蒙特利尔) MSC公司:68-01 65年第68季度 99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Harel}和\textit{R.Rosner},算法。计算精神。第二版,阿姆斯特丹等:Addison-Wesley出版集团(1992;Zbl 0755.68003)
阿米尔·普努利;罗尼·罗斯纳 关于异步反应模块的综合。 (英语) 兹伯利0686.68015 自动化、语言和编程、Proc。第16国际学院,斯特雷萨/意大利1989年,法律。注释计算。科学。372, 652-671 (1989).MSC公司:60年第68季度 第68页第25页 03B45号 65年第68季度 PDF格式BibTeX公司 XML格式
阿米尔·普努利;罗尼·罗斯纳 反应性模块合成的框架。 (英语) Zbl 0663.68037号 Concurrency’88,程序。国际会议,汉堡/FRG 1988,Lect。注释计算。科学。335, 4-17 (1988).MSC公司:68问题65 03B70号 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式