理论与形式方法1993:英国苏塞克斯郡切尔伍德门
杰弗里·利文斯顿·伯恩 , 西蒙·盖伊 , 马克·瑞恩 :
《理论与形式方法》,1993年,英国苏塞克斯郡切尔伍德门索恩岛会议中心,第一帝国理工学院计算机系理论与形式化方法研讨会论文集,1993年3月29日至31日。 计算机研讨会 , 施普林格 1993 ,国际标准图书编号 3-540-19842-3
第1部分: 概述和介绍性论文
杰弗里·利文斯顿·伯恩 :
功能语言的抽象解释。 理论与形式方法 1993 : 3-14 罗伊·L·克罗尔 :
从类型理论衍生出范畴理论。 理论与形式方法 1993 : 15-26 克里斯·汉金 :
图形改写系统和抽象解释。 理论与形式方法 1993 : 27-36 史蒂文·维克斯 :
计算机科学中的几何逻辑。 理论与形式方法 1993 : 37-54
第2部分: 研究论文
萨姆森·阿布拉姆斯基 :
交互类别。 理论与形式方法 1993 : 57-69 马克 道森 :
设置LU动画。 理论与形式方法 1993 : 70-81 阿巴斯·艾达拉特 :
动力系统、测度和分形的领域理论。 理论与形式方法 1993 : 82-99 阿巴斯·艾达拉特 :
信息范畴中的自对偶性、最小不变对象和Karoubi不变性。 理论与形式方法 1993 : 100-114 林赛·埃尔林顿 , 克里斯·汉金 , 托马斯·詹森 :
关于Gamma程序的推理。 理论与形式方法 1993 : 115-125 何塞·路易斯·菲亚德罗 , T.S.E.Maibaum公司 :
在(pi-)制度的背景下概括理论之间的解释。 理论与形式方法 1993 : 126-147 西蒙·盖伊 , 拉贾戈帕尔·纳加拉扬 :
在交互类别中建模信号。 理论与形式方法 1993 : 148-158 雷霍德·赫克曼 :
Strong Monads的产品运营。 理论与形式方法 1993 : 159-170 伦敦帝国学院 :
论国家过渡制度的等价性。 理论与形式方法 1993 : 171-182 斯图亚特·肯特 :
走向持续动作的模态逻辑。 理论与形式方法 1993 : 183-194 玛尔塔·奎亚特科夫斯卡 :
并发性、公平性和逻辑复杂性。 理论与形式方法 1993 : 195-208 玛尔塔·奎亚特科夫斯卡 , 伊恩·菲利普斯 :
CSP中的并发和冲突。 理论与形式方法 1993 : 209-225 莎拉·利伯特 :
一个完整的CCS公理系统,带有稳定算子。 理论与形式方法 1993 : 226-234 伊恩·麦基 , 利奥波多·罗曼 , 萨姆森·阿布拉姆斯基 :
自治范畴的内部语言。 理论与形式方法 1993 : 235-246 华雷斯·梅勒特·菲略 , 杰弗里·利文斯顿·伯恩 :
连续传递转换和抽象解释。 理论与形式方法 1993 : 247-259 伊恩·菲利普斯 :
关于过程代数表示性的注记。 理论与形式方法 1993 : 260-264 马克·瑞恩 :
优先考虑偏好关系。 理论与形式方法 1993 : 265-275 大卫·桑德斯 :
并行同步终止法。 理论与形式方法 1993 : 276-288 兹威·施雷贝尔 :
在C语言中实现过程演算。 理论与形式方法 1993 : 289-301 保罗·泰勒 :
While的精确解释。 理论与形式方法 1993 : 302-313 伊雷克·乌利多夫斯基 :
祝贺 套 -尊重规则的格式。 理论与形式方法 1993 : 314-325