摘要
Bancilhon，F.，“数据结构：规范与实现”，密歇根大学博士论文，1976年。 谷歌学者 
数字图书馆 
Campbell，R.A，和Habermann，N.，“通过路径表达式实现进程同步的规范”，《计算机科学》第16卷讲义，Springer-Verlag，1974年。 谷歌学者 数字图书馆 Codd，E.F.，“大型共享数据库的关系模型”，CACM 13，#6，第377-387页，1970年。 谷歌学者 数字图书馆 Ginsburg，S.，《上下文无关语言的数学理论》，麦格劳希尔出版社，纽约，1966年。 谷歌学者 数字图书馆 Ginsburg，S.和Spanier，E.H.，“两种磁带设备的语言映射”，JACM，第12页，423-434页，1965年。 谷歌学者 数字图书馆 Greibach，S.，“最难的无上下文语言”，SIAM J.Compt。 第2页，第304-310页，1973年。 谷歌学者 交叉引用 
Horning，J.J.和Randell，B.，“过程结构”，《计算调查》，5#1，第5-30页，1975年。 谷歌学者 数字图书馆 Lipton，R.J.，“简化：证明并行程序属性的方法”，CACM，18，#12 pp.717-7211975。 谷歌学者 数字图书馆 Lipton，R.J.，“可达性问题需要指数空间”，《技术报告》，耶鲁大学计算机科学系，1975年，发表于《理论计算机科学》。 谷歌学者 Owicki，S.“用于验证并行程序的一致和完整演绎系统”，第八届美国计算机学会计算理论年度研讨会论文集，1976年5月，第73-86页。 谷歌学者 数字图书馆 Peterson，J.，“Petri网”，《计算调查9》，第3期，第223-252页，1977年。 谷歌学者 数字图书馆 Pratt，V.R.，“Floyd-Hoare逻辑的语义思考”，第17届计算机科学基础研讨会论文集，（1976年10月），第109-121页。 谷歌学者 Riddle，W.E.，“监管系统的建模与分析”，斯坦福大学博士论文，1972年。 谷歌学者 数字图书馆 Riddle，W.E.，“软件系统建模与分析”，RSSM/25，技术报告，密歇根大学计算机与通信科学系，1976年7月。 谷歌学者 Shoenfield，J.R.，《数理逻辑》，Addison Wesley，马萨诸塞州雷丁市，1967年。 谷歌学者
允许并发的表达式的复杂性
建议
通信复杂性课程的前景 我们证明了几个结果，这些结果与先前的工作一起，提供了$${mathsf{P}}$$P和$${mathsf{PSPACE}}$$PSPACE之间经典通信复杂性类之间关系的一个接近完整的图，但没有证明下限。。。
