停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第11届CONCUR 2000：美国宾夕法尼亚州宾夕法尼亚州立大学

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/2000
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/2000
帕拉米德斯猫:
CONCUR 2000：并发理论，第11届国际会议，美国宾夕法尼亚州大学公园，2000年8月22日至25日，会议记录。计算机科学课堂讲稿1877,施普林格 2000，国际标准图书编号3-540-67897-2

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/Shankar00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Shankar00网址
纳塔拉詹·尚卡尔:
通过符号分析将定理证明和模型检验结合起来。 1-16
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/Brinksma00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Brinksma00
埃德·布林克斯马:
验证就是实验！ 17-24
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/colcol/斯塔克00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Stark00
尤金·W·斯塔克:
使用概率I/O自动机进行组合性能分析。 25-28
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/Sangiovanni-Vincentelli SL00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concur/Sangiovanni-VincentelliSL00
阿尔贝托·桑吉奥瓦尼·文森特利,马可·斯格鲁,卢西亚诺·拉瓦尼奥:
基于通信的设计的形式化模型。 29-47

邀请的教程

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/NicolaFP00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/NicolaFP00
洛科·德·尼古拉,吉安·路易吉·费拉里,罗萨里奥·普格利泽:
编程访问控制：KLAIM体验。 48-65
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/Alur00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Alur00网址
拉杰夫·阿鲁尔:
利用层次结构进行有效的形式验证。 66-68
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/colcol/Gardner00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concur/Gardner00
菲利普·加德纳:
从过程计算到过程框架。 69-88
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/Ramakrishnan00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Ramakrishnan00网址
C.R.Ramakrishnan（罗马克里希南）:
使用表逻辑编程进行验证。 89-91

接受的论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/KupfermanMTV00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/KupfermanMTV00
奥尔娜·库普夫曼,P.马都苏丹,P.S.Thiagarajan先生,莫舍·瓦尔迪:
反应环境中的开放系统：控制与合成。 92-107
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/Heljanko00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Heljanko00
凯霍·赫尔扬科:
使用有限完整前缀的模型检查是PSPACE-Complete。 108-122
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/KwiatkowskaNSS00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/KwiatkowskaNSS00
Marta Z.Kwiatkowska公司,格钦·诺曼,罗伯托·塞加拉,杰里米·斯普鲁斯顿:
验证连续概率时间自动机的定量性质。 123-137
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/CassezL00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/CassezL00
弗兰克·卡塞兹,金·古德斯特兰·拉森:
秒表令人印象深刻的力量。 138-152
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/EtessamiH00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/EtessamiH00网址
库沙·埃特萨米,杰拉德·J·霍尔兹曼:
优化Büchi Automata。 153-167
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/BrunsG00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/BrunsG00
格伦·布伦斯,帕特丽斯·戈德弗里德:
广义模型检查：关于部分状态空间的推理。 168-182
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/IbarraBS00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/IbarraBS00
奥斯卡·H·伊瓦拉,特夫菲克·布尔坦,苏建文:
一些无限状态转移系统模型的可达性分析。 183-198年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/Negulescu00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Negulescu00
内格列斯库Radu Negulescu:
流程空间。 199-213
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/BoerEHM00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/BoerEHM00
弗兰克·S·德·波尔,罗杰尔·范·埃伊克,威比·范德霍克,约翰·朱尔斯·查·梅耶:
多代理系统中信息交换的失败语义。 214-228
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/Abraham-MummB00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Abraham-MummB00
埃里卡·阿布拉哈姆·穆姆,弗兰克·S·德·波尔:
Java中线程的证明。 229-242
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/LeiferM00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/LeiferM00
詹姆斯·莱弗,罗宾·米尔纳:
推导无功系统的互模拟同余。 243-258
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/同意/BruniFMM00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/BruniFMM00
罗伯托·布鲁尼,大卫·德·弗鲁托斯·埃斯克里格,纳西索·马蒂-奥列特,乌戈·蒙塔纳里:
通过瓦片逻辑的开放项和项图的双相似同余。 259-274
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/UlidowskiY00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/UlidowskiY00网址
伊雷克·乌利多夫斯基,袁绍基（Shoji Yuen）:
根式急切互模拟的过程语言。 275-289
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/Rensink00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Rensink00
阿伦德·伦辛克:
动作收缩。 290-304
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/BernardoC00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/BarnardoC00
马可·贝尔纳多,兰斯·克莱维兰:
马尔科夫过程的测试理论。 305-319
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/AbdullaBIJ00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/AdullaBIJ00
帕罗什·阿齐兹·阿卜杜拉,克里斯特尔·贝尔,S.Purushothaman Iyer公司,本特·琼森:
概率损失信道系统的推理。 320-333
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/colcol/PhilippouLS00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/PhilippouLS00网址
安娜·菲利普,因苏普·李,奥列格·索科尔斯基:
概率系统的弱互模拟。 334-349
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/Mislove00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Mislove00
迈克尔·米斯洛夫:
不确定性和概率选择：遵守法律。 350-364
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/CardelliGG00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/CardelliGG00
鲁卡·凯德利,乔治·盖利,安德鲁·戈登:
保密和组创建。 365-379
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/AmadioL00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/AmadioL00
罗伯特·阿马迪奥,丹尼斯·卢吉兹:
密码协议中的可达性问题。 380-394
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/colcol/Jurjens00会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concur/Jurjens00
扬·朱尔扬（Jan Jürjens）:
并发进程的安全信息流。 395-409
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/colcol/霍缅科K00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/KhomenkoK00
维克托·科门科,库特尼:
使用部分顺序依赖项进行LP死锁检查。 410-425
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/KuskeM00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/KuskeM00
迪特里希·库斯克,雷米·莫林:
本地跟踪语言的Pomsets-可识别性、逻辑和Petri网。 426-441
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/BaldanBCP00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/BaldanBCP00
保罗·巴尔丹,纳迪娅·布西,安德烈亚·科拉迪尼,G.米歇尔·平纳:
带读弧和约束弧的Petri网的函数并发语义。 442-457
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/AlfaroHM00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/AlfaroHM00网址
卢卡·德·阿尔法罗,托马斯·汉津格,弗雷迪·Y.C.芒:
同步系统的控制。 458-473
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/colcol/拉瓦拉V00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/RavaraV00网址
安托尼奥·拉瓦拉,瓦斯科红花:
键入非均匀并发对象。 474-488
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/KobayashiSS00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/KobayashiSS00
小林直树,Shin Saito先生,Eijiro Sumii公司:
隐式无死锁过程微积分。 489-503
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/BugliesiCC00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/BugliesiCC00
米歇尔·布列西,朱塞佩·卡斯塔尼亚,西尔维娅·克拉法:
键入的移动对象。 504-520
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/colcol/MukundKS00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/MukundKS00网址
马达瓦恩·穆昆德,K.Narayan Kumar,Milind A.Sohoni先生:
从MSC合成分布式有限状态系统。 521-535
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/Kuske00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Kuske00
迪特里希·库斯克:
对于异步蜂窝式机器，空是可以决定的。 536-551
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/Charron-BostTB00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Charron-BostTB00
Bernadette Charron-Bost公司,萨姆·图格,安妮迪亚·巴苏:
在失败的背景下重新审视安全和生命。 552-565
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/FinkelIS00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/FinkelIS00
阿兰·芬克尔,S.Purushothaman Iyer公司,Grégoire萨特雷:
抽象的过渡系统。 566-580
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/LazicN00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/LazicN00
兰科·拉齐奇,大卫·诺瓦:
数据独立性的统一方法。 581-595
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/FuY00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/FuY00网址
玉溪府,杨振荣:
气微积分与失配。 596-610

服务

管理站点设置

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