第6届FoSSaCS 2003:波兰华沙(ETAPS 2003的一部分)
安德鲁·戈登 :
《软件科学和计算结构基础》,第六届国际会议,2003年FOSSACS,作为欧洲软件理论与实践联合会议的一部分举行,ETAPS 2003,波兰华沙,2003年4月7日至11日,会议记录。 计算机科学课堂讲稿 2620, 施普林格 2003 ,国际标准图书编号 3-540-00897-7
受邀论文
萨姆森·阿布拉姆斯基 , 拉德哈·贾加迪桑 :
泛型多态的游戏语义。 1-22
已投稿论文
迈克尔·戈登·阿伯特 , 托尔斯滕·阿滕柯奇 , 尼尔·加尼 :
容器类别。 23-38 帕罗什·阿齐兹·阿卜杜拉 , 亚历山大·莫西·拉宾诺维奇 :
通信故障概率系统的验证。 39-53 安德烈亚斯·阿贝尔 , 拉尔夫·马提斯 , 塔尔莫·乌斯塔卢 :
高阶嵌套数据类型的广义迭代和协同迭代。 54-69 安德烈·阿诺德 , 路易吉·桑托卡纳莱 :
游戏中的模糊类µ-微积分层次。 70-86 塔玛拉阿隆 , 阿米尔·普努利 , 勒诺·D·扎克 :
通过概率抽象进行参数化验证。 87-102 马丁·伯杰 , Kohei Honda公司 , 吉田信子 :
遗传学和pi-Calculus。 103-119 纳塔莉·贝特朗 , 菲利普·施诺贝伦 :
模型检查有损信道系统可能是可以决定的。 120-135 布鲁诺·布兰切特 , 安德烈亚斯·波德尔斯基 :
验证加密协议:标记强制终止。 136-152 爱德华多·博内利 :
具有显式替换的高阶微积分的归一化结果。 153-168 伊奥夫卡·博内娃 , Jean-Marc Talbot公司 :
当环境无法打开时。 169-184 奥利维尔·伯内斯 , 菲利佩·库克 , 保林·雅各布·德诺罗斯(Paulin Jacobéde Naurois) , 珍妮·伊夫·马里恩 :
任意结构上的可计算性。 顺序和平行多项式时间。 185-199 弗兰克·范·布鲁格尔 , 迈克尔·米斯洛夫 , 乔尔·瓦克宁 , 詹姆斯·沃雷尔 :
近似概率双相似性的内在表征。 200-215 鲁卡·凯德利 , 菲利普·加德纳 , 乔治·盖利 :
使用隐藏标签操纵树。 216-232 Ernst-Erich Doberkat先生 :
随机关系的逆。 233-249 贾娜·邓菲尔德 , 弗兰克·普芬宁 :
按值调用语言中交集和并集的类型分配。 250-266 万·J·福克金 , 彭军(Jun Pang) :
重新审视协议验证的锥和焦点。 267-281 马修·轩尼诗 , 马西莫·梅罗 , 朱利安·拉特克 :
分布式系统中访问和移动性控制的行为理论。 282-298 伊曼纽尔·基伦斯基 :
带有过渡防护的双变量防护碎片是2EXPTIME-Hard。 299-312 詹姆斯·莱尔德 :
线性连续体的游戏语义。 313-327 丹尼斯·卢吉兹 :
多树自动机的计数和等式约束。 328-342 帕特里克·迈尔 :
成分循环假设保证规则不能健全和完整。 343-357 尤金尼奥·莫吉 , 索尼娅·法戈齐 :
一种单一的多阶段元语言。 358-374 阿尔贝托·莫米利亚诺 , 西蒙·安布勒 :
具有高阶抽象语法的多级元推理。 375-391 约翰·鲍尔 , 康斯坦蒂诺斯·图拉斯 :
基于层次的系统推理中的抽象。 392-408 弗拉迪米罗·萨松 , 帕维尔·索博辛斯基 :
推导互模拟同余:2类与前类。 409-424 克里斯托夫·斯普伦格 , Mads大坝 :
归纳推理的结构:微积分中的圆形和树形证明。 425-440