停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

第19届CONCUR 2008：加拿大多伦多

>主页 >会议和研讨会 >CONCUR公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/colcol/2008年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/2008
弗兰克·范·布鲁格尔,玛莎·契契克:
CONCUR 2008：并发理论，第19届国际会议，CONCUR，2008年，加拿大多伦多，2008年8月19-22日。诉讼程序。计算机科学课堂讲稿5201,施普林格 2008，国际标准图书编号978-3-540-85360-2

受邀论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/Halpern08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Halpern08网址
约瑟夫·哈珀（Joseph Y.Halpern）:
超越纳什均衡：21世纪的解决方案概念。 1
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/Bultan08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Bltan08网址
特夫菲克·布尔坦:
服务编排和协调对话。 2-3
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/Panangaden08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Panangaden08网址
普拉卡什·帕南加登:
概率系统中的知识和信息。 4
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/Qadeer08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Qadeer08
沙兹·卡迪尔:
控制并发：程序验证的观点。 5

已投稿论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/colcol/AbadiHM08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concur/AbadiHM08
马丁·阿巴迪,姆·哈里斯,凯瑟琳·摩尔:
事务存储的动态分离模型。 6-20
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/colcol/GuerraouiHS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/GuerraouiHS08
拉希德·格雷劳伊,托马斯·汉津格,瓦苏·辛格:
模型检查事务存储器中的完整性和不确定性。 21-35
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/Morin08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Morin08
雷米·莫林:
确定性共享存储系统的语义。 36-51
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/GuerraouiV08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/GuerraouiV08
拉希德·格雷劳伊,马尔科·武科利奇:
一个可伸缩且不经意的原子性断言。 52-66
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/AbdullaKY08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/AdullaKY08
帕罗什·阿齐兹·阿卜杜拉,帕维尔·科卡尔,王毅:
R-自动机。 67-81
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/colcol/AkshayBGMK08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concur/AkshayBGMK08
S.阿克西,Benedikt博利格,保罗·加斯廷,马达瓦恩·穆昆德,K.Narayan Kumar:
具有独立进化时钟的分布式时间自动机。 82-97
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/BaetenCT08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/BaetenCT08
Jos C.M.Baeten先生,Pieter J.L.Cuijpers先生,P.J.A.van Tilburg先生:
作为下推自动机的无上下文过程。 98-113
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/CanettiCKLP08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/CanettiCKLP08
兰·卡内蒂,张玲（Ling Cheung）,迪尔森·基里·卡纳尔,南希·A·林奇,奥利维尔·佩雷拉:
长寿命系统中的计算安全建模。 114-130
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/colcol/帕多瓦尼08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Padovani08网址
卢卡·帕多瓦尼:
简单管弦乐队的契约式合成。 131-146
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/confer/ChatterjeeHJ08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/ChatterjeeHJ08
克里希南德·查特吉,托马斯·汉津格,芭芭拉·朱布斯曼:
合成的环境假设。 147-161
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/BolligKKL08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/BolligKKL08
Benedikt博利格,Joost-Pieter Katoen公司,卡斯滕·克恩,马丁·勒克:
Smyle：通过学习从场景合成分布式模型的工具。 162-166
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/BonakdarpourK08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/BonakdarpourK08
Borzoo Bonakdarpour公司,Sandeep S.Kulkarni:
SYCRAFT：一种用于合成分布式容错程序的工具。 167-171
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/DragerF08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/DragerF08
克劳斯·达格,伯恩德·芬克贝纳:
子序列不变量。 172-186
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/OrzanW08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/OrzanW08
西蒙娜·奥尔赞,蒂姆·A·C·威廉斯:
参数化布尔方程系统的不变量。 187-202
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/BaldanCHK08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/BaldanCHK08
保罗·巴尔丹,托马斯·查坦,斯特凡·哈尔,芭芭拉·科尼格:
基于展开的演化拓扑系统诊断。 203-217
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/BirkedalDH08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/BirkedalDH08
拉尔斯·比克达尔,瑟伦·德布瓦,托马斯·希尔德布兰特:
关于排序反应系统的构造。 218-232
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/KastenbergR08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/KastenbergR08
哈蒙·卡斯滕贝格,阿伦德·伦辛:
使用探测集的动态部分降阶。 233-247
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/张08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/张08
张丽君:
一种节省空间的概率模拟算法。 248-263
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/ChadhaVV08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/ChadhaVV08
罗希特·查达,马赫什·维斯瓦纳坦,拉梅什·维斯瓦纳坦:
概率测度的最小上界及其在抽象中的应用。 264-278
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/KatoenKLW08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/KatoenKLW08
Joost-Pieter Katoen公司,丹尼尔·克林克,马丁·勒克,Verena Wolf公司:
用Erlang的阶段方法对随机系统进行抽象。 279-294
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/CrouzenHZ08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/CrouzenHZ08
Pepijn Crouzen公司,霍尔格·赫尔曼斯,张丽君:
关于非循环模型的最小化。 295-309
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/DarondeauGTY08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/DarondeauGTY08
菲利普·达伦多,布莱斯·基内斯特,P.S.Thiagarajan先生,杨绍发:
通信任务的准静态调度。 310-324
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/BerwangerCDHR08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/BerwangerCDHR08
迪特马尔·伯旺格,克里希南德·查特吉,劳伦特·多恩,托马斯·汉津格,桑格拉姆·拉吉:
信息不完全对等博弈的策略构建。 325-339
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/ChambartS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/ChambartS08
皮埃尔·钱巴特,菲利普·施诺贝伦:
混合有损和完美的国际足联频道。 340-355
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/AtigBT08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/AtigBT08
穆罕默德·法乌齐·阿提格,艾哈迈德·布阿贾尼,泰西尔·图利:
下推系统非循环网络可达性分析。 356-371
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/AcciaiB08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/AcciaiB08
露西娅·阿西艾,米歇尔·博雷尔:
Pi-Calculus中的空间和行为类型。 372-386
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/LozesV08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/LozesV08
埃蒂安·洛兹,朱尔斯·维拉德:
应用π演算的空间等式逻辑。 387-401
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/碳HY08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/CarboneHY08
马尔科·卡博尼,Kohei Honda公司,吉田信子:
会话类型中的结构化交互异常。 402-417
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/BettiniCDLDY08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/BettiniCDLDY08
洛伦佐·贝蒂尼,马里奥·科波奥,洛里斯·德安东尼,马可·德卢卡,Mariangiola Dezani-Ciancaglini公司,吉田信子:
动态交错多方会话的全球进展。 418-433
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/1月KS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/JancarKS08
彼得·詹卡尔,马丁·科特,兹德内克·萨瓦:
重新审视规范BPA与规范BPP。 434-446
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/CranenMR08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/CranenMR08
乔德·克兰恩,穆罕默德·雷扎·穆萨维,米歇尔·雷尼尔斯:
关联性的规则格式。 447-461
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/RathkeS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/RathkeS08
朱利安·拉特克,帕维尔·索博辛斯基:
推导移动环境的结构标记转换。 462-476
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/ZavataroC08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/ZavataroC08
吉安路易吉·扎瓦塔罗,鲁卡·凯德利:
化学动力学中的终止问题。 477-491
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/Gorla08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Gorla08
丹尼尔·戈拉:
过程微积分可编码性和分离结果的统一方法。 492-507
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/BliudzeS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/BliudzeS08
西蒙·布利乌兹,约瑟夫·西法基斯:
基于组件的系统的粘合表达性概念。 508-522

服务

管理站点设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。