×
卢博什·布里姆（编辑）;彼得·扬查尔（编辑）;莫西尔·Křetínsk \345]（编辑）;安东·库切拉（编辑）

CONCUR 2002–并发理论。第十三届国际会议，捷克共和国布尔诺，2002年8月20日至23日。诉讼程序。 （英语） Zbl 0997.00031号

计算机科学课堂讲稿2421.柏林：施普林格。xii，611页（2002年）。

将索引文章显示为搜索结果。

对数学感兴趣的文章将单独复习。有关上一次会议，请参阅[Zbl 0971.00044号].
索引文章：
Wan Fokkink；Natalia Ioustinova；安永（Ernst Kesseler）；范德波尔（Jaco van de Pol）；亚罗斯拉夫·乌森科。；Yuri A.Yushtein。，改进和验证应用于飞行数据采集装置，1-23[Zbl 1012.68828号]
阿米尔·普努利；尤尼特·凯斯滕，CTL（^{ast}）的演绎证明系统，24-40[Zbl 1012.68119号]
沃恩·R·普拉特。，事件-状态对偶：富集情况，41-56[Zbl 1012.68128号]
亚历山大·拉比诺维奇，时间逻辑的表达能力，57-75[Zbl 1012.03027号]
戴维·桑吉奥吉，类型，或：CCS和\（\pi\）之间的区别在哪里？，76-97 [Zbl 1012.68137号]
朱利安·布拉德菲尔德。，《模态和时间多计算导论》（摘要），98[Zbl 1012.68518号]
安德鲁·戈登。，加密协议类型，99-100[兹比尔1012.68528]
尤尼特·凯斯滕（Yonit Kesten）；阿米尔·普努利；沙哈尔（Elad Shahar）；勒诺尔·扎克，作用中的网络不变量，101-115[Zbl 1012.68131号]
阿卜杜拉，帕罗什·阿齐兹；Jonsson，Bengt；马库斯·尼尔森；德奥索，朱利安，定期模型检查变得简单高效，116-130[Zbl 1012.68134号]
库沙·埃特萨米，自动机多项式时间可计算模拟的层次结构，131-144[Zbl 1012.68121号]
Madhusudan，P。；蒂亚加拉扬，P.S。，一类可判定的异步分布式控制器，145-160[Zbl 1012.68118号]
安蒂·瓦尔马里；科尔维宁，安蒂，基于字母的同步成本呈指数级下降，161-176[Zbl 1012.68123号]
马库斯·洛伊，高级消息序列图的安全实现性，177-192[兹比尔1012.68525]
细辛，尤金；杰拉尔多·施奈德，拓宽可判定和不可判定混合系统之间的边界，193-208[Zbl 1012.68141号]
凯雷斯，路易斯；卢卡·卡德利，用于并发的空间逻辑。二、 209-225年[兹比尔1012.68122]
Beata Konikowska；沃伊切赫·彭泽克，将模型检查从多值\（\text{CTL}^{ast}\）减少到\（\text{CTL{^{ast{\），226-239[Zbl 1012.68132号]
马丁·兰格，使用chop检查定点逻辑的本地模型游戏，240-254[兹比尔1012.68130]
玛丽亚·索里亚，超时的可判定定点逻辑，255-271[Zbl 1012.03042号]
Godskesen，Jens Chr。；托马斯·希尔德布兰特；弗拉迪米罗·萨松，移动资源计算，272-287[Zbl 1012.68519号]
David Teller；帕斯卡·齐默（Pascal Zimmer）；丹尼尔·赫希科夫，使用环境控制资源，288-303[Zbl 1012.68530号]
马西莫·梅罗（Massimo Merro）；弗拉迪米罗·萨松，在盒装环境中打字和分型移动性，304-320[Zbl 1012.68529号]
罗伯托·布鲁尼；科西莫·拉内夫；乌戈·蒙塔纳里，在联接演算中编排事务，321-337[Zbl 1012.68524号]
克里斯特尔·拜尔（Christel Baier）；Joost-Pieter Katoen；霍尔格赫尔曼斯；Boudewijn，Haverkort，连续时间马尔可夫链的模拟，338-354[Zbl 1012.68526号]
何塞·德斯哈奈斯；古普塔、维尼特；拉达，贾加德桑；帕南加登，普拉卡什，pCTL*的弱互模拟健全且完整，355-370[Zbl 1012.68139号]
斯特凡诺·卡塔尼；罗伯特·塞加拉，概率互模拟的决策算法，371-385[Zbl 1012.68127号]
吕特根，杰拉尔德；迈克尔·门德勒，公理化同步语言的阶跃反应代数，386-401[Zbl 1012.68124号]
Jean Fanchon；雷米·莫林，具有自动同步功能的常规彩球集，402-417[Zbl 1012.68135号]
菲利普·加德纳；科西莫·拉内夫；卢西安·维希克《融合机》（扩展摘要），418-433[Zbl 1012.68527号]
米克尔·奈加德；格林·温斯克尔，HOPLA–一种高阶过程语言，434-448[Zbl 1012.68129号]
Buscemi，Maria Grazia；乌戈·蒙塔纳里，（pi）演算早期观测等价的一阶余代数模型，449-465[Zbl 1012.68120号]
斯蒂芬·布鲁克斯通信过程的跟踪、pomset、公平性和完全抽象，466-482[Zbl 1012.68136号]
米歇尔·博雷莱（Michele Boreale）；巴斯米，玛丽亚·格拉齐亚，安全协议分析框架，483-498[Zbl 1012.68520号]
罗伯特·阿马迪奥（Roberto M.Amadio）。；维托尔德·查拉托尼克，关于Dolev-Yao模型中的名字生成和基于集合的分析，499-514[Zbl 1012.68522号]
库尔斯特，拉尔夫，关于具有开放数据结构的密码协议的可判定性，515-530[Zbl 1012.68523号]
Kleijn，H.C.M。；M.库特尼。，带加权约束弧的Petri网的因果语义，531-546[Zbl 1012.68125号]
Hagen沃尔泽，精炼-全面公平，547-561[Zbl 1012.68133号]
萨沃米尔·拉索塔，定时BPP强相似性的判定，562-578[Zbl 1012.68126号]
吉·斯尔巴，下推过程弱相似性的不确定性，579-593[Zbl 1012.68138号]
库切拉，安东尼；理查德·迈尔，为什么模拟比互模拟难？，594-609 [Zbl 1012.68140号]

引用于2评论

MSC公司：

00B25型 其他特别感兴趣的会议记录
68-06 与计算机科学有关的会议记录、会议、收藏等
68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等）

关键词：

布尔诺（捷克共和国）;诉讼;会议;CONCUR 2002年;并发理论

引文：

Zbl 0971.00044号
PDF格式BibTeX公司 XML格式引用
\textit{L.Brim}（编辑）等人，CONCUR 2002——并发理论。第十三届国际会议，2002年8月20日至23日，捷克共和国布尔诺。诉讼程序。柏林：施普林格出版社（2002；Zbl 0997.00031）
全文： 内政部