理论与形式方法1994：英国剑桥
克里斯·汉金 , 伊恩·麦基 , 拉贾戈帕尔·纳加拉扬 :
英国剑桥默勒中心第二届帝国理工学院计算系理论与形式方法研讨会论文集，1994年9月11日至14日。 帝国理工学院出版社 1995 ，国际标准图书编号 1-86094-003-X号 克里斯·汉金 , 伊恩·麦基 , 拉贾戈帕尔·纳加拉扬 :
前言。 理论与形式方法 1994
1994年9月12日星期一
萨姆森·阿布拉姆斯基 , 盖伊·麦库斯克 :
递归类型的游戏。 理论与形式方法 1994 : 1-20 伦敦帝国学院 :
交互命令作为游戏。 理论与形式方法 1994 : 21-40 伊恩·麦基 :
基于交互网络的Lambda-Evaluator。 理论与形式方法 1994 : 41-60 安德鲁·皮特斯 :
应用互模拟的完备性和连续性。 理论与形式方法 1994 : 61 西蒙·盖伊 :
交互网络的组合器。 理论与形式方法 1994 : 63-84 罗伊·克罗尔 , 西蒙·盖伊 , 拉贾戈帕尔·纳加拉扬 :
交互类别的内部语言。 理论与形式方法 1994 : 85-104 达斯科·巴甫洛维奇 :
并发与交互的分类逻辑I：同步进程。 理论与形式方法 1994 : 105-141 华雷斯·梅勒特·菲略 :
列表的连续严格性分析。 理论与形式方法 1994 : 143-166
1994年9月13日星期二
莎拉·利伯特 :
模块化和优先级。 理论与形式方法 1994 : 167-179 克莱萨菲斯·哈托纳斯 , Marta Z.Kwiatkowska公司 :
同步树与公平：案例研究。 理论与形式方法 1994 : 181-198 史蒂文·维克斯 :
区域设置并非毫无意义。 理论与形式方法 1994 : 199-216 吉莉安·希尔 :
在KZ原则中构建规范和模块。 理论与形式方法 1994 : 217-233 何塞·路易斯·菲亚德罗 , T.S.E.Maibaum公司 :
验证以供重用：面向对象系统验证的基础。 理论与形式方法 1994 : 235-257 马丁·霍泽尔·埃斯卡多 :
实线上的递归和归纳。 理论与形式方法 1994 : 259-282 弗朗索瓦·拉马克 :
从Chu Spaces到Cpos。 理论与形式方法 1994 : 283-305 克拉克 , 林赛·埃林顿 , 克里斯·汉金 :
价值传递过程微积分的静态分析。 理论与形式方法 1994 : 307-320
1994年9月14日星期三
史蒂文·维克斯 :
几何逻辑作为规范语言。 理论与形式方法 1994 : 321-340 凯文·拉诺 , 斯蒂芬·戈德萨克 :
VDM++中的细化、子类型和子分类。 理论与形式方法 1994 : 341-363 马克 道森 , 史蒂文·维克斯 :
朝向GeoZ工具包。 理论与形式方法 1994 : 365-380 托马斯·詹森 :
定时数据流程序的表示语义。 理论与形式方法 1994 : 381-396 迈克尔·B·史密斯 :
图的逆极限。 理论与形式方法 1994 : 397-409 阿巴斯·艾达拉特 :
统计物理中随机场的计算领域。 理论与形式方法 1994 : 411-430
