默认搜索操作

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

问别人

2004年第15届CONCUR：英国伦敦

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/2004
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/2004
菲利普·加德纳,吉田信子:
CONCUR 2004：并发理论，第15届国际会议，2004年8月31日至9月3日，英国伦敦，会议记录。计算机科学课堂讲稿3170,施普林格 2004，十亿3-540-22940-X号

受邀论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/AndrewsQRX04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/AndrewsQRX04
托尼·安德鲁斯,沙兹·卡迪尔,斯里拉姆·拉贾马尼,谢宜臣:
Zing：为模型检查并发软件开发程序结构。 1-15
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/Brookes04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Brookes04
斯蒂芬·布鲁克斯:
并发分离逻辑的语义。 16-34
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/AbdullaJNS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/AdullaJNS04
帕罗什·阿齐兹·阿卜杜拉,本特·琼森,马库斯·尼尔森,马扬克·萨克塞纳:
常规模型检验综述。 35-48
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/OHearn04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/OHearn04
彼得·W·奥赫恩:
资源、并发和局部推理。 49-67

接受的论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/AmadioD04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/AmadioD04
罗伯特·阿马迪奥,西尔瓦诺·达尔·齐利奥:
同步协作线程的资源控制。 68-82
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/BaldanCK04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/BaldanCK04
保罗·巴尔丹,安德里亚·科拉迪尼,芭芭拉·科尼格:
验证有限状态图语法：一种基于展开的方法。 83-98
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/BaudruM04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/BaudruM04
尼古拉斯·鲍德鲁,雷米·莫林:
网络图表的利弊。 99-114
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/colcol/卑尔根04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Berger04网址
马丁·伯杰:
二次异步pi-Calculi归约同余的基本理论。 115-130
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/BojanczykW04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/BojanczykW04
米科拉伊·博扬奇克,伊戈尔·瓦卢凯维奇:
表征EF和EX树逻辑。 131-145
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/BolligL04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/BolligL04
Benedikt Bollig公司,马丁·勒克:
消息传递自动机与EMSO逻辑等价。 146-160
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/BorgstromBN04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/BorgstromBN04
约翰内斯·博格斯特罗姆,塞巴斯蒂安·布赖斯,乌韦·内斯特曼:
Spi演算中的符号互模拟。 161-176
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/BozgaEL04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/BozgaEL04
莉安娜·博兹加,克里斯蒂安·埃内,亚辛·拉赫内克:
具有时间戳的密码协议的符号决策过程（扩展抽象）。 177-192
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/BrazdilKS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/BrazdilKS04
托马斯·布拉兹迪尔,安东·库塞拉,奥尔德里奇·斯特拉佐夫斯克:
无限状态概率系统概率相似性的判定。 193-208
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/BrunsJJR04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/BrunsJJR04
格伦·布伦斯,拉德哈·贾加迪桑,阿兰·杰弗里,詹姆斯·里利:
µABC：最小方面微积分。 209-224
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/BugliesiCC04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/BugliesiCC04
米歇尔·布列西,达里奥·科拉佐,西尔维娅·克拉法:
基于类型的自由访问控制。 225-239
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/CairesL04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/CairesL04
路易斯·凯雷斯,埃蒂安·洛兹:
消除空间逻辑中的量词和不确定性以实现并发。 240-257
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/CirsteaP04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/CirsteaP04
Corina Cêrstea科瑞纳·科斯特,德克·帕丁森:
模态逻辑的模块化结构。 258-275
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/ClarkeTTV04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/ClarkeTTV04
埃德蒙·克拉克,穆拉利达尔·塔卢普尔,泰西尔·图利,赫尔穆特·维思:
通过网络分解进行验证。 276-291
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/DanosK04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concur/DanosK04
文森特·达诺斯,让·克里文:
可逆通信系统。 292-307
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/GrooteW04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/GrooteW04
简·弗里索·格鲁特,蒂姆·A·C·威廉斯:
参数化布尔方程系统（扩展抽象）。 308-324
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/Hirschkoff04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Hirschkoff04
丹尼尔·赫希科夫:
移动进程的扩展空间逻辑。 325-339
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/KrcalMTY04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/KrcalMTY04
帕维尔·科卡尔,列奥尼德·莫克鲁辛,P.S.Thiagarajan先生,王毅:
定时与定时触发自动机。 340-354
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/colcol/KretinskyRS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/KretinskyRS04
莫杰米尔·克伦斯克（Mojmír Kretínsk）,Vojtech Rehák公司,简·斯特雷切克:
扩展过程重写系统：表达性和可达性。 355-370
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/KuceraS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/KuceraS04
安东·库塞拉,菲利普·施诺贝伦:
比较无限状态系统及其有限状态规范的一般方法。 371-386
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/LaroussineMS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/LaroussineMS04网址
弗朗索瓦·拉鲁西尼,尼古拉斯·马基,菲利普·施诺贝伦:
具有一个或两个时钟的模型检查定时自动机。 387-401
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/LerouxS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/LeruxS04
杰罗姆·勒鲁,格雷戈伊尔·苏特雷:
关于二维状态向量加法系统的平坦性。 402-416
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/MaM04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/MaM04
秦马,吕克·马兰杰:
在联合模式中编译模式匹配。 417-431
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/colcol/标记R04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/MarkeyR04
尼古拉斯·马基,Jean-François Raskin女士:
模型检查定时路径的受限集。 432-447
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/Mellies04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Mellies04
保罗·安德烈·梅利埃:
异步游戏2：纯真的并发。 448-465
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/Tabuada04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Tabuada04网站
保罗·塔布阿达:
开放地图、交替模拟和控制合成。 466-480
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/VaraccaVW04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/VaraccaVW04
丹尼尔·瓦拉卡,哈根·沃尔泽,格林·温斯克:
概率事件结构和域。 481-496
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/VasconcelosRG04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/WasconcelosRG04
瓦斯科红花,安东尼奥·拉瓦拉,西蒙·盖伊:
功能多线程的会话类型。 497-511
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/ViswanathanV04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concur/ViswanathanV04
马赫什·维斯瓦纳坦,拉梅什·维斯瓦纳坦:
一种高阶模态定点逻辑。 512-528

管理网站设置

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