×
Jos C.M.Baeten。（编辑）;绍克·莫（编辑）

99年开始。并发理论。第十届国际会议，荷兰埃因霍温，2999年8月24日至27日。诉讼程序。 （英语） Zbl 0921.00028号

计算机科学课堂讲稿1664.柏林：斯普林格。xi，第573页，118.00德国马克；öS 861.00；新加坡法郎107.50；£45.50; $ 67.45 (1999).

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

对数学感兴趣的文章将单独复习。有关上一次会议，请参阅[Zbl 0895.00051号].
索引文章：
哈维尔·埃斯帕尔扎；斯特凡·Römer，过渡系统同步乘积的展开算法，2-20[兹伯利0946.68097]
彼得·扬查尔；法隆·莫勒，双相似性的可判定性和不可判定性技术，30-45[Zbl 0940.68087号]
卢卡·德·阿尔法罗，计算概率系统中的最小和最大可达时间，66-81[Zbl 0949.93082号]
拉杰夫·阿鲁尔；卢卡·德·阿尔法罗（Luca de Alfaro）；托马斯·亨辛格（Thomas A.Henzinger）。；Freddy Y.C.Mang。，自动化模块化验证，82-97[Zbl 0940.68088号]
保罗·C·阿蒂。，通过成对合成合成大型并发程序，130-145[Zbl 0940.68029号]
克里斯特尔·拜尔（Christel Baier）；乔斯特·皮特，卡托恩；霍尔格·赫尔曼斯，连续时间马尔可夫链的近似符号模型检验，146-161[Zbl 0934.03044号]
阿尔伯特·本文尼斯特（Albert Benveniste）；贝诺·凯劳德；保罗·勒格尔尼克，从同步到异步，162-177[Zbl 0939.68079号]
贝拉德，贝特里奇；劳伦·弗里堡，使用实数算法对（定时）Petri网进行可达性分析，178-193[Zbl 0939.68080号]
Best，Eike；亚历山大·拉夫罗夫，高级Petri网的弱和强组成，194-209[Zbl 0940.68089号]
伯克哈德·比伯；汉斯·弗利什哈克，基于偏序语义的时间Petri网模型检查，210-225[Zbl 0940.68090号]
de Boer，F.S。；G.扎瓦塔罗。，异步通信的通用进程代数，226-241[Zbl 0940.68091号]
休伯特·科蒙；Yan Jurski，时间自动机与实数理论，242-257[Zbl 0940.68092号]
何塞·德斯哈奈斯；古普塔、维尼特；拉达·贾加迪桑；帕南加登，普拉卡什，标记马尔可夫系统的度量，258-273[Zbl 0939.68081号]
艾斯特林，阿卡迪；迈克尔·卡明斯基《动作时间逻辑的表达能力》，274-287[兹伯利0934.03026]
伏玉溪，关于chi进程的开放互模拟，304-319[Zbl 0940.68093号]
托马斯·亨辛格（Thomas A.Henzinger）。；本杰明·霍洛维茨；鲁帕克·马朱姆达尔，矩形混合游戏，320-335[Zbl 0937.91005号]
巴巴拉·科尼格，生成过程图的类型系统，352-367[Zbl 0940.68094号]
库切拉，安东尼；理查德·迈尔，无穷状态系统的弱双相似性可以在多项式时间内确定，368-382[Zbl 0939.68082号]
奥纳·库普夫曼；莫舍·瓦尔迪。，稳健的满意度，383-398[Zbl 0939.68083号]
何塞·梅塞盖尔；卡罗琳·塔尔科特，并发对象的部分顺序事件模型，415-430[Zbl 0939.68084号]
马吕斯·米娜，时间自动机模型检查的部分降阶，431-446[Zbl 0939.68085号]
雷米·莫林；布里吉特·罗佐伊，关于位置/转换网络的语义，447-462[Zbl 0940.68095号]
诺尔，托马斯，关于并发项重写模型中的一致性，478-493[Zbl 0934.03045号]
大卫·诺瓦克；Jean-Pierre Talpin；保罗·勒格尔尼克，同步结构，494-509[Zbl 0940.68016号]
安蒂·普哈卡；安蒂·瓦尔马里，livelock-preserving等价的弱同余结果，510-524[Zbl 0939.68086号]
克莉丝汀·罗克尔；哈维尔·埃斯帕尔扎，使用互模拟的验证检查协议，525-540[Zbl 0940.68128号]
格林·温斯克尔，事件结构作为预升-两个表示定理，541-556[Zbl 0939.68087号]
吉田信子；马修·轩尼诗，分布式高阶过程中的子类型和局部性，557-572[Zbl 0940.68024号]

引用于1审查

MSC公司：

00B25型 杂项特定利益的会议记录
68-06 与计算机科学有关的会议记录、会议、收藏等
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

埃因霍温（荷兰）;会议;诉讼;99年CONCUR;并发理论

引文：

Zbl 0895.00051号
PDF格式BibTeX公司 XML格式引用
\textit{J.C.M.Baeten}（编辑）和\textit{S.Mauw}（主编），CONCUR’99。并发理论。第十届国际会议，荷兰埃因霍温，2999年8月24日至27日。诉讼程序。柏林：施普林格出版社（1999；Zbl 0921.00028）
全文： DOI程序