Doron A.Peled。（编辑）;沃恩·R·普拉特。（编辑）;杰拉德·J·霍尔兹曼。（编辑） 验证中的部分顺序方法。DIMACS研讨会，1996年7月24日至26日，美国新泽西州普林斯顿大学。 （英语） Zbl 0863.00044号 DIMACS系统。离散数学和理论计算机科学系列. 29. 普罗维登斯，RI：美国数学学会（AMS）。xiv，403页（1997年）。 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。索引文章：安东尼·马祖基维奇，状态和事件的前缀功能视图，1-23[Zbl 0883.68062号]沃尔夫冈·托马斯，偏序自动机理论的要素，25-40[Zbl 0882.54017号]护罩，M.W。，代数操作和向量语言，41-57[Zbl 0882.68095号]Shmuel Katz，改进时态逻辑中的全局等价证明，59-78[Zbl 0883.68088号]沃伊切赫·彭泽克（Wojciech Penczek）；玛丽安·斯雷布尼，跟踪系统上一阶时序逻辑的完全公理化，79-97[Zbl 0883.68089号]赖西格，W。，交错进度同步进度和局部进度，99-115[Zbl 0883.68058号]普罗特金，戈登；沃恩·普拉特，团队可以看到彩球。（初步版本），117-128[兹伯利0880.68082]格林·温斯克尔（Glynn Winskel）；尼尔森，莫根斯，作为过渡系统的预应力，129-140[Zbl 0880.68096号]克里斯特尔·拜尔（Christel Baier）；玛尔塔·奎亚特科夫斯卡，关于时间属性的拓扑层次，141-170[Zbl 0887.68032号]马达文·穆昆德；蒂亚加拉扬，P.S。，Mazurkiewicz迹上的线性时间时序逻辑，171-201[Zbl 0882.68089号]阿尔伯特·R·迈耶（Albert R.Meyer）。；亚历山大·拉比诺维奇，用偏序技术解决交织决策问题，203-211[Zbl 0879.68070号]安蒂·瓦尔马里，过程代数的Stubborn集方法，213-231[Zbl 0882.68090号]多龙·贝利德，部分降阶：线性和分支时序逻辑与过程代数，233-257[Zbl 0883.68090号]乌戈·蒙塔纳里；马可·皮斯托雷，部分订单系统的历史相关验证，259-272[Zbl 0883.68099号]托马斯·希尔德布兰特。；弗拉迪米罗·萨松，具有独立性和多rcs的过渡系统，273-288[Zbl 0883.68085号]帕特丽斯·戈德弗里德，关于使用部分顺序方法验证并发系统的成本和收益。（特邀论文），289-303[Zbl 0883.68057号]最好的，艾克，使用PEP进行部分订单验证，305-328[Zbl 1114.68350号]大卫·C·勒克姆。，Rapide:通过事件的部分顺序模拟分布式系统的语言和工具集，329-357[兹比尔0883.68002] 引用于1文件 MSC公司： 00B25型 杂项特定利益的会议记录 68-06 与计算机科学有关的会议记录、会议、收藏等 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 65年第68季度 形式语言和自动机 68问题55 计算理论中的语义学 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：新泽西州普林斯顿（美国）;车间;诉讼;DIMACS车间;偏序方法;验证 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Peled}（ed.）等人，验证中的部分顺序方法。DIMACS研讨会，1996年7月24日至26日，美国新泽西州普林斯顿市普林斯顿大学。普罗维登斯，RI:AMS，美国数学学会（1997；Zbl 0863.00044）