2010年第26届MFPS:加拿大安大略省渥太华
迈克尔·米斯洛夫 , 彼得·塞林格 :
2010年5月6日至10日,加拿大安大略省渥太华,2010年MFPS第26届编程语义数学基础会议记录。 理论计算机科学电子笔记 265, 爱思维尔 2010 迈克尔·米斯洛夫 , 彼得·塞林格 :
前言。 1-3 萨姆森·阿布拉姆斯基 :
罗宾·米尔纳的并发工作。 5-10 彼得·霍夫斯特拉 , J.罗宾B.科克特 :
统一理论,统一范畴。 11-33 凯·马丁 , 约翰尼·冯 , 桑吉维·克里希南 :
量子信息论中的自由物体。 35-47 Deepak Garg公司 , 杰森·富兰克林 , 迪尔森·基里·卡纳尔 , 阿努帕姆·达塔 :
界面受限对手的合成系统安全。 49-71 费迪南达·坎波西 , 杰罗姆·费雷特 , Heinz Koeppl公司 , 塔贾娜·彼得罗夫 :
合并模型简化。 73-96 达斯科·巴甫洛维奇 , 凯瑟琳·梅多斯 :
贝叶斯认证:量化Hancke-Kuhn协议的安全性。 97-122 埃里克·姆约尔斯内斯 :
动态过程建模语言的可测量类型。 123-144 卢卡·埃特罗 , 马泰奥·西米尼 , Anna Ingólfsdóttir女士 , 穆罕默德·雷扎·穆萨维 , 米歇尔·雷尼尔斯 :
关于零元素和单位元素的规则格式。 145-160 米歇尔·巴萨尔德拉 , 亚历克西斯·索林 , Kazushige Terui公司 :
从逻辑聚焦到聚焦逻辑。 161-176 斯蒂芬·布鲁克斯 :
公平、资源和分离。 177-195 詹姆斯·布罗瑟斯顿 :
束逻辑的统一显示证明理论。 197-211 安东尼奥·布恰雷利 , 托马斯·埃尔哈德 , 朱利奥·曼佐内托 :
简单类型资源演算的分类模型。 213-230 安娜·C·卡尔德隆 , 盖伊·麦库斯克 :
通过一致性空间理解游戏语义。 231-244 维南西奥·卡普雷塔 :
由相关方程生成的互模拟。 245-258 拉纳德·克鲁斯顿 :
名义等式逻辑中的约束。 259-276 J.罗宾B.科克特 , 布莱恩·雷德蒙 :
低复杂性的分类设置。 277-300 丹·吉卡(Dan R.Ghica) , 亚历克斯·史密斯 :
综合几何II:从游戏到延迟敏感电路。 301-324 埃里克·古堡 , 埃曼纽尔·豪科特 , 桑吉维·克里希南 :
有向拓扑中的未来路径组件。 325-335 长谷正彦 :
Rel.中的二代数。 337-350 哈朔一郎 , 雅各布施 , 米拉德·尼基 :
分形的余代数表示理论。 351-368 Dominique Larchey-Wendling公司 :
通过组语义将Minsky机器直接模拟为经典的束逻辑。 369-387 盖伊·麦库斯克 , 约翰·鲍尔 :
局部变量建模:可能的世界和对象空间。 389-402 拉斯穆斯·埃杰莱斯·莫格伯格 :
本地存储的名义关系模型。 403-421 安德烈·穆拉夫斯基 :
没有同步原语的完全抽象。 423-436 瑞克·斯塔特曼 :
笛卡尔单体。 437-451