热拉尔·布多尔
人员信息
优化列表
2010 – 2019
2015 [公元46年] 约翰·格兰德 , 热拉尔·布多尔 , 曼纽尔·塞拉诺 :
Jthread,一个无死锁的互斥库。 PPDP(PPDP) 2015 : 149-160 2012 [公元24年] 热拉尔·布多尔 , 罗正琴 , 塔玛拉·雷兹克 , 曼纽尔·塞拉诺 :
关于Web应用程序的推理:HOP的操作语义。 ACM事务处理。 程序。 语言系统。 34 ( 2 ) : 10:1-10:40 ( 2012 ) [公元45年] 热拉尔·布多尔 , 古斯塔沃·佩特里 , 伯纳德·塞尔佩特 :
并发编程语言的宽松操作语义。 快递/SOS 2012 : 19-33 2010 [公元23年] 热拉尔·布多尔 :
在高阶并发命令式语言中键入终止。 Inf.计算。 208 ( 6 ) : 716-736 ( 2010 ) [公元44年] 热拉尔·布多尔 , 古斯塔沃·佩特里 :
推测计算理论。 员工持股计划 2010 : 165-184
2000 – 2009
2009 [公元22年] 安娜·阿尔梅达·马托斯 , 热拉尔·布多尔 :
关于解密和保密政策。 J.计算。 安全。 17 ( 5 ) : 549-597 ( 2009 ) [公元43年] 热拉尔·布多尔 :
共享内存并发的无死锁语义。 ICTAC公司 2009 : 140-154 [c42] 热拉尔·布多尔 , 古斯塔沃·佩特里 :
放松记忆模型:一种操作方法。 府绸 2009 : 392-403 2008 [公元21年] 热拉尔·布多尔 :
关于交叉类型学科中的强规范化和类型推理。 西奥。 计算。 科学。 398 ( 1-3 ) : 63-81 ( 2008 ) [公元41年] 热拉尔·布多尔 , 伊利亚·卡斯特拉尼 , 马修·轩尼诗 , 莫根斯·尼尔森 , 格林·温斯克 :
二十年:对CEDISYS项目的反思。 将真正的并发性与过程代数相结合。 并发、图和模型 2008 : 757-777 [公元40年] 热拉尔·布多尔 :
键入Safe Deallocation。 员工持股计划 2008 : 116-130 [公元39年] 热拉尔·布多尔 :
安全信息流作为一种安全属性。 安全和信任的形式方面 2008 : 20-34 2007 [公元20年] 安娜·阿尔梅达·马托斯 , 热拉尔·布多尔 , 伊利亚·卡斯特拉尼 :
键入反应式程序的无干扰。 J.日志。 代数方法课程。 72 ( 2 ) : 124-156 ( 2007 ) [c38] 热拉尔·布多尔 :
公平合作多线程。 CONCUR公司 2007 : 272-286 2006 [公元37年] 热拉尔·布多尔 :
共享可变并发:一项建议。 FSTTCS公司 2006 : 1-3 2005 [公元36年] 安娜·阿尔梅达·马托斯 , 热拉尔·布多尔 :
关于解密和保密政策。 CSFW公司 2005 : 226-240 [公元35年] 热拉尔·布多尔 :
关于键入信息流。 ICTAC公司 2005 : 366-380 [公元34年] 罗伯特·阿马迪奥 , 热拉尔·布多尔 , Frédéric Boussinot先生 , 伊利亚·卡斯特拉尼 :
重新审视反应式并发编程。 APC 25 2005 : 49-60 [i1] 罗伯特·阿马迪奥 , 热拉尔·布多尔 , 伊利亚·卡斯特拉尼 , Frédéric Boussinot先生 :
重新访问了反应式并发编程。 CoRR公司 abs/cs/0512058 ( 2005 ) 2004 [公元19年] 热拉尔·布多尔 :
重新访问对象的递归记录语义。 J.功能。 程序。 14 ( 三 ) : 263-315 ( 2004 ) [公元33年] 热拉尔·布多尔 :
全球计算的反应式编程模型。 协调 2004 : 1 [公元32年] 热拉尔·布多尔 :
ULM:全球计算的核心编程模型:(扩展摘要)。 员工持股计划 2004 : 234-248 [c31] 热拉尔·布多尔 :
通用膜模型(注)。 全球计算 2004 : 208-222 [公元30年] 热拉尔·布多尔 , 帕斯卡·齐默 :
关于交叉类型学科中的类型推断。 ITRS公司 2004 : 23-42 2003 [公元18年] 罗伯特·阿马迪奥 , 热拉尔·布多尔 , 塞德里克·侯赛因 :
感受性分布颗粒。 ACM事务处理。 程序。 语言系统。 25 ( 5 ) : 549-577 ( 2003 ) [公元29年] 热拉尔·布多尔 :
关于移动编程模型。 信息通信与通信系统 2003 : 22 [公元28年] 热拉尔·布多尔 :
交叉型学科中的强规范化。 薄层色谱法 2003 : 60-74 2002 [公元17年] 罗伯特·阿马迪奥 , 热拉尔·布多尔 , 塞德里克·侯赛因 :
关于信息传递性和非一致接受性。 芬丹。 信息学 53 ( 2 ) : 105-129 ( 2002 ) [公元16年] 热拉尔·布多尔 , 伊利亚·卡斯特拉尼 :
并发程序和线程系统不受干扰。 西奥。 计算。 科学。 281 ( 1-2 ) : 109-130 ( 2002 ) [公元27年] 热拉尔·布多尔 , 帕斯卡·齐默 :
调用值lambda-calculus中的递归。 菲莎国际学院 2002 : 61-66 2001 [公元26年] 热拉尔·布多尔 :
重温对象的递归记录语义。 员工持股计划 2001 : 269-283 [公元25年] 热拉尔·布多尔 , 伊利亚·卡斯特拉尼 :
并发程序无干扰。 ICALP公司 2001 : 382-395 2000 [公元15年] 热拉尔·布多尔 :
关于调用名CPS转换的语义。 西奥。 计算。 科学。 234 ( 1-2 ) : 309-321 ( 2000 ) [公元24年] 热拉尔·布多尔 , 科西莫·拉伊夫 :
λ-微积分、多重数和pi-微积分。 证明、语言和互动 2000 : 659-690
1990 – 1999
1999 [公元14年] 热拉尔·布多尔 , 皮埃尔·路易斯·库里恩 , 卡罗莱娜·拉瓦泰利 :
带有资源的lambda calculi的语义。 数学。 结构。 计算。 科学。 9 ( 4 ) : 437-482 ( 1999 ) 【c23】 热拉尔·布多尔 , 西尔瓦诺·达尔·齐利奥 :
可扩展对象的解释。 FCT公司 1999 : 148-160 [公元22年] 罗伯特·阿马迪奥 , 热拉尔·布多尔 , 塞德里克·侯赛因 :
接受分布式pi-Calculus(扩展摘要)。 FSTTCS公司 1999 : 304-315 1998 [j13] 热拉尔·布多尔 :
并发进程的计算。 J.计算。 科学。 Technol公司。 13 ( 6 ) : 509 ( 1998 ) [公元12年] 热拉尔·布多尔 :
直接形式的p-微积分。 高。 订购符号。 计算。 11 ( 2 ) : 177-208 ( 1998 ) 1997 【c21】 热拉尔·布多尔 :
键入并发微积分中资源的使用(扩展摘要)。 亚洲的 1997 : 239-253 [公元20年] 热拉尔·布多尔 :
直接风格的Pi-calculus。 府绸 1997 : 228-241 1996 [公元11年] 热拉尔·布多尔 , 科西莫·拉伊夫 :
Lambda-Calculus中乘数的辨别力。 Inf.计算。 126 ( 1 ) : 83-102 ( 1996 ) [第19条] 热拉尔·布多尔 , 卡罗莱娜·拉瓦泰利 :
Lambda微积分的完整抽象与资源和收敛测试。 CAAP公司 1996 : 302-316 1995 [第18条] 热拉尔·布多尔 , 科西莫·拉伊夫 :
多重lambda-calculus中的终止、死锁和发散。 MFPS公司 1995 : 32-45 1994 [公元10年] 热拉尔·布多尔 , 伊利亚·卡斯特拉尼 , 马修·轩尼诗 , 阿斯特里德·基恩 :
具有局部性的过程理论。 形式方面计算。 6 ( 2 ) : 165-200 ( 1994 ) [公元9年] 热拉尔·布多尔 :
Lambda-Calculi(严格)并行函数。 Inf.计算。 108 ( 1 ) : 51-127 ( 1994 ) [j8] 热拉尔·布多尔 , 伊利亚·卡斯特拉尼 :
分布式计算的流模型:CCS的三个等价语义。 Inf.计算。 114 ( 2 ) : 247-314 ( 1994 ) 1993 [j7] 热拉尔·布多尔 , 伊利亚·卡斯特拉尼 , 马修·轩尼诗 , 阿斯特里德·基恩 :
观察当地情况。 西奥。 计算。 科学。 114 ( 1 ) : 31-61 ( 1993 ) [第17条] 热拉尔·布多尔 :
多重Lambda-Calculus(摘要)。 CONCUR公司 1993 : 1-6 [第16条] 热拉尔·布多尔 :
一些化学文摘机。 REX学校/研讨会 1993 : 92-123 1992 [j6] 杰拉德·贝瑞 , 热拉尔·布多尔 :
化学文摘机。 西奥。 计算。 科学。 96 ( 1 ) : 217-248 ( 1992 ) [j5] 热拉尔·布多尔 , 金·古德斯特兰·拉森 :
图形与逻辑规范。 西奥。 计算。 科学。 106 ( 1 ) : 3-20 ( 1992 ) [第15条] 热拉尔·布多尔 , 伊利亚·卡斯特拉尼 , 马修·轩尼诗 , 阿斯特里德·基恩 :
具有局部性的过程理论(扩展抽象)。 CONCUR公司 1992 : 108-122 1991 [第14条] 热拉尔·布多尔 , 伊利亚·卡斯特拉尼 , 马修·轩尼诗 , 阿斯特里德·基恩 :
观察地点(扩展摘要)。 MFCS公司 1991 : 93-102 1990 [第13条] 热拉尔·布多尔 , 金·古德斯特兰·拉森 :
图形规范与逻辑规范。 CAAP公司 1990 : 57-71 [第12条] 热拉尔·布多尔 :
流事件结构和流网络。 并发过程系统的语义 1990 : 62-95 [第11条] 热拉尔·布多尔 , 伊利亚·卡斯特拉尼 :
CCS的三个等价语义。 并发过程系统的语义 1990 : 96-141 [第10条] 杰拉德·贝瑞 , 热拉尔·布多尔 :
化学文摘机。 府绸 1990 : 81-94
1980 – 1989
1989 【j4】 热拉尔·布多尔 :
原子作用。 牛市。 EATCS公司 38 : 136-144 ( 1989 ) 【c9】 热拉尔·布多尔 , 瓦莱里·罗伊 , 罗伯特·德西蒙 , 迪迪埃·维尔加米尼 :
过程微积分,从理论到实践:验证工具。 有限状态系统的自动验证方法 1989 : 1-10 【c8】 热拉尔·布多尔 :
走向并行和通信系统的Lambda演算。 TAPSOFT,第1卷 1989 : 149-161 1988 [j3] 热拉尔·布多尔 , 伊利亚·卡斯特拉尼 :
并发性和原子性。 西奥。 计算。 科学。 59 : 25-84 ( 1988 ) [c7] 热拉尔·布多尔 , 伊利亚·卡斯特拉尼 :
转换的排列:CCS和SCCS的事件结构语义。 REX研讨会 1988 : 411-427 1987 【c6】 热拉尔·布多尔 , 伊利亚·卡斯特拉尼 :
关于并发语义:部分顺序和转移系统。 TAPSOFT,第1卷 1987 : 123-137 1985 【c5】 热拉尔·布多尔 , 杰拉德·鲁卡罗尔 , 罗伯特·德西蒙 :
Petri网和过程的代数计算。 Petri网的应用与理论 1985 : 41-58 【c4】 热拉尔·布多尔 , 杰拉德·鲁卡罗尔 , 罗伯特·德西蒙 :
过程的Petri网和代数演算。 STACS公司 1985 : 59-70 1984 [注2] 迪迪埃·奥斯蒂 , 热拉尔·布多尔 :
Algèbre de Processus et Synchronisation公司。 西奥。 计算。 科学。 30 : 91-131 ( 1984 ) 【c3】 热拉尔·布多尔 :
关于过程代数演算的注记。 并发系统的逻辑和模型 1984 : 261-303 1983 [j1] 热拉尔·布多尔 , 劳伦特·科特 :
递归归纳原理再认识。 西奥。 计算。 科学。 22 : 135-173 ( 1983 ) 1981 【c2】 热拉尔·布多尔 :
Une Semostic Pour Les Arbres非决定因素。 CAAP公司 1981 : 147-161
1970 – 1979
1979 【c1】 热拉尔·布多尔 :
一种新的递归归纳原理。 理论计算机科学 1979 : 79-90