缺少摘要。
- 时态过程逻辑（摘要）兰斯·克莱维兰.1 [美国国防部]
- 过渡系统同步产品的展开算法哈维尔·埃斯帕尔扎,斯特凡·罗默.2-20 [美国国防部]
- Petri网、配置结构和高维自动机罗布·范·格拉贝克.21-27 [美国国防部]
- 具有链路移动性的并发计算的表达和分布式实现帕拉米德斯猫.28-29 [美国国防部]
- 双相似性的可判定性和不可判定性技术彼得·詹卡尔,法伦·莫勒.30-45 [美国国防部]
- 测试并发系统：一种形式化方法简·特雷特曼.46-65 [美国国防部]
- 概率系统中最小和最大可达时间的计算卢卡·德·阿尔法罗.66-81 [美国国防部]
- 自动化模块验证拉杰夫·阿鲁尔,卢卡·德·阿尔法罗,托马斯·汉津格,弗雷迪·Y.C.芒.82-97 [美国国防部]
- 下一个即时模型检查启发式拉杰夫·阿鲁尔,王朝霞（Bow-Yaw Wang）.98-113 [美国国防部]
- 消息序列图的模型检查拉杰夫·阿鲁尔,米哈利斯·扬纳卡基斯.114-129 [美国国防部]
- 基于成对合成的大型并发程序合成保罗·C·阿蒂.130-145 [美国国防部]
- 连续时间马尔可夫链的近似符号模型检验克里斯特尔·拜尔,Joost-Pieter Katoen公司,霍尔格·赫尔曼斯.146-161 [美国国防部]
- 从同步到异步阿尔伯特·本文尼斯特,贝诺·特凯劳德,保罗·勒格尼奇.162-177 [美国国防部]
- 用实数算法分析（定时）Petri网的可达性贝特里斯·贝拉德,劳伦特·弗里堡.178-193 [美国国防部]
- 高层Petri网的弱组合和强组合艾克·贝斯特,亚历山大·拉夫罗夫.194-209 [美国国防部]
- 基于偏序语义的时间Petri网模型检验伯克哈德·比伯,汉斯·弗利什哈克.210-225 [美国国防部]
- 异步通信的通用进程代数弗兰克·S·德·波尔,吉安路易吉·扎瓦塔罗.226-241 [美国国防部]
- 时间自动机与实数理论休伯特·科蒙,Yan Jurski先生.242-257 [美国国防部]
- 标记马尔可夫系统的度量乔西·德沙奈斯（Josee Desharnais）,维尼特·古普塔,拉德哈·贾加迪桑,普拉卡什·帕南加登.258-273 [美国国防部]
- 动作时间逻辑的表达能力（扩展抽象）阿卡迪·埃斯特林,迈克尔·卡明斯基.274-287 [美国国防部]
- 针对种族的对象类型科马克·弗拉纳根,马丁·阿巴迪.288-303 [美国国防部]
- Chi过程上的开放互模拟玉溪府.304-319 [美国国防部]
- 矩形混合游戏托马斯·汉津格,本杰明·霍洛维茨,鲁帕克·马朱姆达尔.320-335 [美国国防部]
- 公平约束的局部性及其分布式实现Yuh-Jzer Joung先生.336-351 [美国国防部]
- 过程图的生成类型系统芭芭拉·科尼格.352-367 [美国国防部]
- 无穷状态系统的弱双相似性可以在多项式时间内判定安东·库塞拉,理查·马.368-382 [美国国防部]
- 稳健的满意度奥尔娜·库普夫曼,Moshe Y.瓦尔迪.383-398 [美国国防部]
- 通过进程代数的状态图杰拉尔德·吕特根,迈克尔·冯·德·比克,兰斯·克莱维兰.399-414 [美国国防部]
- 并发对象的部分顺序事件模型何塞·梅塞盖尔,卡罗琳·塔尔科特.415-430 [美国国防部]
- 时间自动机模型检验的部分降阶马吕斯·米娜.431-446 [美国国防部]
- 论位置/转换网的语义雷米·莫林,布里吉特·罗佐伊.447-462 [美国国防部]
- 验证移动环境中的防火墙弗莱明·尼尔森,汉内·里斯·尼尔森,勒内·里多夫·汉森,雅各布·格里霍尔特·詹森.463-477 [美国国防部]
- 团队重写并发模型中的一致性托马斯·诺尔.478-493 [美国国防部]
- 同步结构大卫·诺瓦,Jean-Pierre Talpin女士,保罗·勒格尼奇.494-509 [美国国防部]
- Livelock-保留等价的弱同余结果安蒂·普哈卡,安蒂·瓦尔马里.510-524 [美国国防部]
- 使用互模拟的校对协议克里斯汀·罗克尔,哈维尔·埃斯帕尔扎.525-540 [美国国防部]
- 作为预升的事件结构——两个表示定理格林·温斯克.541-556 [美国国防部]
- 分布式高阶过程中的假设与局部性（扩展抽象）吉田信子,马修·轩尼诗.557-572 [美国国防部]