卡图西亚帕拉米德斯（编辑） CONCUR 2000–并发理论。2000年8月22日至25日，第11届国际会议，美国宾夕法尼亚州大学公园。诉讼程序。 （英语） Zbl 0944.00069号 计算机科学课堂讲稿1877.柏林：斯普林格。xi，612页，130.00马克；öS 949.00；新加坡法郎118.50；£45.00; $ 91.00 (2000). 将索引文章显示为搜索结果。 对数学感兴趣的文章将单独复习。有关上一次会议，请参阅[Zbl 0921.00028号].索引文章：Natarajan Shankar，通过符号分析结合定理证明和模型检查，1-16[Zbl 0999.68523号]埃德·布林克斯马，验证就是实验！，17-24 [兹比尔0999.68552]尤金·斯塔克。，使用概率I/O自动机进行组合性能分析，25-28[兹比尔0999.68554]阿尔贝托Sangiovanni-Vincentelli；马尔科·斯格罗伊（Marco Sgroi）；卢西亚诺·拉瓦尼奥，基于通信的设计的形式化模型，29-47[Zbl 0999.68527号]德尼古拉（De Nicola）、罗科（Rocco）；吉安·路易吉，法拉利；罗萨里奥·普格利泽，编程访问控制：KLAIM体验，48-65[Zbl 0999.68557号]拉杰夫·阿鲁尔，利用层次结构进行有效的形式验证，66-68[Zbl 0999.68559号]菲利普·加德纳，从流程计算到流程框架，69-88[Zbl 0999.68137号]罗马克里希南，C.R。，使用表格逻辑编程进行验证，89-91[Zbl 0999.68562号]奥纳·库普夫曼；Madhusudan，P。；Thiagarajan，P.S。；莫舍·瓦尔迪。，《反应环境中的开放系统：控制与合成》，92-107[Zbl 0999.68124号]凯乔·赫尔扬科，带有有限完整前缀的模型检查是PSPACE-complete，108-122[Zbl 0999.68138号]玛尔塔·奎亚特科夫斯卡；格钦·诺曼；罗伯托·塞加拉（Roberto Segala）；杰里米·斯普洛斯顿，验证连续概率时间自动机的定量属性，123-137[Zbl 0999.68125号]Frank Cassez；金·拉森，秒表令人印象深刻的力量，138-152[Zbl 0999.68112号]库沙·埃特萨米；杰拉德·J·霍尔兹曼。，优化Büchi自动机，153-167[Zbl 0999.68113号]格伦·布伦斯；帕特丽斯·戈德弗里德，广义模型检查：关于部分状态空间的推理，168-182[Zbl 0999.68524号]奥斯卡·H·伊瓦拉。；布尔坦、特夫菲克；苏建文，无限状态过渡系统某些模型的可达性分析，183-198[兹比尔0999.68139]拉杜·内格列斯库，过程空间，199-213[Zbl 0999.68140号]德波尔（Frank S.de Boer）。；罗杰尔·范·埃伊克（Rogier M.van Eijk）。；范德霍克，威比；John-Jules Ch.梅耶。《多智能体系统中信息交换的故障语义》，214-228[Zbl 0999.68210号]Ábrahám-Mumm，艾瑞卡；德波尔（Frank S。，Java中线程的校对，229-242[Zbl 0999.68504号]詹姆斯·J·莱弗（James J.Leifer）。；罗宾·米尔纳，导出反应系统的互模拟同余，243-258[Zbl 0999.68141号]罗伯托·布鲁尼；de Frutos-Escrig，大卫；马丁·奥列特，纳西索；乌戈·蒙塔纳里，开放项和项图通过分片逻辑的双相似同余，259-274[Zbl 0999.68142号]Irek Ulidowski；袁，Shoji，根渴望互模拟的过程语言，275-289[Zbl 0999.68143号]阿伦德·伦辛克，动作收缩，290-304[Zbl 0999.68528号]马可·贝尔纳多（Marco Bernardo）；兰斯·克莱维兰，马尔科夫过程测试理论，305-319[Zbl 0999.68144号]帕罗什·阿卜杜拉；克里斯特尔·拜尔（Christel Baier）；Iyer，Purushothaman；本特·琼森，概率有损信道系统的推理，320-333[Zbl 0999.68145号]安娜·菲利普；Lee，Insup；奥列格·索科尔斯基，概率系统的弱互模拟，334-349[兹比尔0999.68146]Mislove，迈克尔，不确定性和概率选择：遵守法律，350-364[Zbl 0999.68147号]卢卡·卡德利；乔治·盖利；安德鲁·戈登。，保密和组创建，365-379[Zbl 0999.68148号]罗伯特·阿马迪奥（Roberto M.Amadio）。；丹尼斯·卢吉兹，关于密码协议中的可达性问题，380-394[Zbl 0999.94538号]于尔詹斯，Jan，针对并发进程的安全信息流，395-409[Zbl 0999.68149号]维克托·科门科（Victor Khomenko）；马西耶·库特尼，使用部分顺序依赖项进行LP死锁检查，410-425[Zbl 0999.68529号]迪特里希·库斯克；雷米·莫林，用于本地跟踪语言的Pomsets–可识别性，逻辑（和）Petri网，426-441[Zbl 0999.68530号]保罗·巴尔丹；纳迪亚·布西；安德烈亚·科拉迪尼；G.Michele Pinna，带读弧和约束弧的Petri网的功能并发语义，442-457[Zbl 0999.68150号]卢卡·德·阿尔法罗（Luca de Alfaro）；托马斯·亨辛格（Thomas A.Henzinger）。；Freddy Y.C.Mang。，同步系统的控制，458-473[Zbl 0999.68531号]安托尼奥·拉瓦拉；Vasco T.瓦康塞洛斯。，键入非一致并发对象，474-488[Zbl 0999.68151号]小林，直纪；Saito，Shin；埃希罗·苏米，隐式无死锁过程演算，489-503[Zbl 0999.68532号]米歇尔·布格列西；朱塞佩·卡斯塔尼亚；西尔维亚·克拉法，类型移动对象，504-520[兹比尔0999.68505]马达文·穆昆德；纳拉扬·库马尔，K。；米林·索霍尼，从MSCs合成分布式有限状态系统，521-535[Zbl 0999.68114号]迪特里赫·库斯克，对于异步蜂窝机器，可以判定为空，536-551[Zbl 0999.68132号]Bernadette Charron-Bost；萨姆·图格（Sam Toueg）；安妮迪亚·巴苏，在故障情况下重新审视安全性和活力，552-565[Zbl 0999.68152号]阿兰·芬克尔（Alain Finkel）；伊耶，普鲁索塔曼；格雷戈伊尔·萨特雷，井抽象转换系统（扩展抽象），566-580[Zbl 0999.68533号]兰科·拉齐奇；大卫·诺瓦克，数据相关性的统一方法，581-595[Zbl 0999.68126号]伏玉溪；杨振荣，不匹配的Chi演算，596-610[Zbl 0999.68153号] 引用于1审查 MSC公司： 00B25型 杂项特定利益的会议记录 68-06 与计算机科学有关的会议记录、会议、收藏等 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：宾夕法尼亚大学公园（美国）;诉讼;会议;CONCUR 2000公司;并发理论 引文：Zbl 0921.00028号 PDF格式BibTeX公司 XML格式引用 \textit{C.Palamidessi}（编辑），CONCUR 2000——并发理论。第11届国际会议，宾夕法尼亚州大学公园，美国，2000年8月22日至25日。诉讼程序。柏林：施普林格出版社（2000；Zbl 0944.00069）