默认搜索操作

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

问别人

第14届CONCUR 2003：法国马赛

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/colcol/2003年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/2003
罗伯特·阿马迪奥,丹尼斯·卢吉兹:
CONCUR 2003：并发理论，第14届国际会议，法国马赛，2003年9月3-5日，会议记录。计算机科学课堂讲稿2761,施普林格 2003，十亿3-540-40753-7
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/BenvenisteHFJ03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/BenvenisteHFJ03
阿尔伯特·本文尼斯特,斯特凡·哈尔,埃里克·法布雷,克劳德·贾德:
并发和异步系统的分布式监控。 1-26
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/StefanescuEM03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/StefanescuEM03
阿林·斯特凡内斯库,哈维尔·埃斯帕尔扎,安卡·穆斯科尔:
使用异步自动机的分布式算法综合。 27-41
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/AlurCEGY03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/AlurCEGY03
拉杰夫·阿鲁尔,斯瓦拉特·乔杜里,库沙·埃特萨米,苏迪普托·古哈,米哈利斯·扬纳卡基斯:
部分有序字符串的压缩。 42-56
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/colcol/格拉贝克V03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/GlabbeekV03
罗布·范·格拉贝克,Frits W.Vaandrager公司:
捆绑事件结构和CCSP。 57-71
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/KlinS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/KlinS03
巴托克·克林,帕维尔·索博辛斯基:
免费语法格式。 72-86
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/Ulidowski03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Ulidowski03网站
伊雷克·乌利多夫斯基:
OSOS过程语言的优先级重写系统。 87-101
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/Alfaro03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Alfaro03
卢卡·德·阿尔法罗:
通过Mu-Calculus进行定量验证和控制。 102-126
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/colcol/AlurTM03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/AlurTM03
拉杰夫·阿鲁尔,萨尔瓦托雷·拉托雷,马杜苏丹:
用盒子和钻石玩游戏。 127-141
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/AlfaroFHMS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/AlfaroFHMS03
卢卡·德·阿尔法罗,马可·费拉,托马斯·汉津格,鲁帕克·马朱姆达尔,玛丽埃尔·斯托琳加:
定时游戏中的惊喜元素。 142-156
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/JancarKM03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/JancarKM03
彼得·詹卡尔,安东·库塞拉,法伦·莫勒:
确定BPA和BPP流程之间的相似性。 157-171
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/BouajjaniHV03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/BoajjaniHV03
艾哈迈德·布阿贾尼,彼得·哈贝梅尔,托马斯·沃纳尔:
使用优先FIFO资源管理验证参数并发系统。 172-187
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/Lynch03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Lynch03
南希·A·林奇:
输入/输出自动机：基本、定时、混合、概率、动态。。。 187-188
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/StarkCS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/StarkCS03
尤金·W·斯塔克,兰斯·克莱维兰,斯科特·斯莫尔卡:
概率I/O自动机的过程代数语言。 189-203
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/LynchSV03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concur/LinchSV03
南希·A·林奇,罗伯托·塞加拉,Frits W.Vaandrager公司:
概率自动机的组成。 204-222
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/GastinK03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/GastinK03
保罗·加斯廷,迪特里希·库斯克:
MSO可定义时态逻辑的可满足性和模型检查在PSPACE中。 218-232
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/Sawa03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Sawa03网址
兹德内克·萨瓦:
非平面系统的等价性检查是EXPTIME-hard。 233-248
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/MarkeyS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/MarkeyS03
尼古拉斯·马基,菲利普·施诺贝伦:
模型检查路径。 248-262
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/GurfinkelC03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/GurfinkelC03
阿里·古芬克尔,玛莎·契契克:
通过经典模型检查进行多值模型检查。 263-277
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/NittaS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/NittaS03
娜奥亚·尼塔,Hiroyuki Seki先生:
下推系统的一种扩展及其模型检验方法。 278-292
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/MukundKT03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/MukundKT03
马达万·穆昆德,K.Narayan Kumar,P.S.Thiagarajan先生:
网络图：弥合HMSC和可执行规范之间的差距。 293-307
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/GenestHM03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/GenestHM03
布莱斯·基内斯特,洛伊克·赫鲁特,安卡·穆斯科尔:
高级消息序列图和预测。 308-322
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/MateusMS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/MateusMS03
保罗·马特乌斯,约翰·米切尔,安德烈·塞德洛夫:
概率多项式时间过程演算中密码协议的组成。 323-345
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/Backes03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Backes03
迈克尔·巴克斯:
在不同定时假设下统一密码系统中的可仿真性定义。 346-360
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/ChadhaMSS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/ChadhaMSS03
罗希特·查达,约翰·米切尔,安德烈·塞德洛夫,维塔利·施玛蒂科夫:
合同签订、乐观主义和优势。 361-377
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/NygaardW03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/NygaardW03
米克尔·奈加德,格林·温斯克:
HOPLA的完整抽象。 378-392
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/NestmannFM03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/NestmannFM03
乌韦·内斯特曼,Rachele Fuzzati公司,马西莫·梅罗:
过程微积分中的共识建模。 393-407
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/GardnerLW03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/GardnerLW03
菲利普·加德纳,科西莫·拉伊夫,卢西安·维希克:
线性转发器。 408-422
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/AmlaENT03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/AmlaENT03
尼娜·阿姆拉,E.艾伦·艾默生,Kedar S.Namjoshi公司,理查德·特雷弗:
合成推理的抽象模式。 423-438
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/CorradiniBV03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/CorradiniBV03
弗拉维奥·科拉迪尼,玛丽亚·丽塔·迪贝拉迪尼,沃尔特·福格勒:
过程代数中的公平性和时间关联。 438-452
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/NortonLM03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/NortonLM03
巴里·诺顿,杰拉尔德·吕特根,迈克尔·门德勒:
基于同步组件设计的组合语义理论。 453-467
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/DanosDP03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/DanosDP03
文森特·达诺斯,何塞·德沙奈斯,普拉卡什·帕南加登:
条件期望和标记马尔可夫过程的逼近。 468-482
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/colcol/BaierHKW03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/BaierHKW03
克里斯特尔·拜尔,霍尔格·赫尔曼斯,Joost-Pieter Katoen公司,维雷娜·沃尔夫:
比较分支时间语义。 482-497
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/PierroHW03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/PierroHW03
亚历山德拉·迪·皮耶罗,克里斯·汉金,赫伯特·威克利基:
定量关系和近似过程等效性。 498-512

管理网站设置

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