理论与形式方法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 哈托纳斯Chrysfis Hartonas , 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)