缺少摘要。
- 交互几何（摘要）吉恩·伊夫·吉拉德.1
- 使用标记转换系统的状态图合成语义安德鲁·乌瑟尔顿,斯科特·A·斯莫尔卡.2-17
- 关于不相交过程等价的可判定性阿斯特里德·基恩.18-33
- BPA系统的规则性是可决定的绍克·莫,穆德.34-47
- 一种判定赋范上下文无关过程二相似性的快速算法约拉姆·赫什菲尔德,法伦·莫勒.48-63
- 基于模型的验证方法和工具（摘要）Jean-Claude费尔南德斯,约瑟夫·西法基斯,罗伯特·德西蒙.64
- 进程数无限的并发系统分析的新结果马赫什·吉尔卡,罗伯特·摩尔.65-80
- 无上下文过程非正则时间特性的验证艾哈迈德·布阿贾尼,拉希德·埃哈希德,瑞亚德·罗巴纳.81-97
- 下推过程：并行组合和模型检查奥拉夫·伯卡特,伯恩哈德·斯特芬.98-113
- 无上下文进程并行组合的局部模型检查哈迪·亨加.114-128
- 并发约束编程语言的逻辑结构（摘要）普拉卡什·帕南加登.129
- 可数不确定性和不可数极限彼得罗·迪·贾南托尼奥,福里奥·霍塞尔,西尔维娅·利亚尼,戈登·普洛金.130-145
- SProc分类J.罗宾B.科克特,大卫·A·斯普纳.146-159
- 从时间图到混合自动机（摘要）科斯塔斯·库库贝蒂斯.160
- 同步电路的层次模型（摘要）大卫·L·迪尔.161
- 时钟的观测能力拉杰夫·阿鲁尔,科斯塔斯·库库贝蒂斯,托马斯·汉津格.162-177
- 时间行为的动态方法杰里米·冈瓦德纳.178-193
- 时间Petri网过程代数约泽夫·温科夫斯基.194-209
- Petri盒微积分的操作语义库特尼,哈维尔·埃斯帕尔扎,艾克·贝斯特.210-225
- 过程代数中的弱序列合成阿伦德·伦辛克,海克·韦尔海姆.226-241
- 高效并行与可靠分布：并发计算的权衡巴黎C.Kanellakis,迪米特里奥斯·米查利迪斯,亚历山大·施瓦茨曼.242-266
- 关于统一假设承诺式并发性证明规则的探讨徐启文,安东尼奥·考,皮埃尔·科莱特.267-282
- 持续时间微积分中的生命与公平Jens U.Skakkebk公司.283-298
- 像素的符号语义（扩展抽象）米歇尔·博雷尔,洛科·德·尼古拉.299-314
- 关于pi-calculus中的互模拟大卫·沃克.315-330
- π演算中双模拟同余的刻画（扩展摘要）刘新新.331-350
- 无限计算的极限视图尼尔斯·克拉伦德.351-366
- 动作系统的轨迹细化拉尔夫·约翰回来,约阿金·冯·赖特.367-384
- 并发模型的互模拟莫根斯·尼尔森,克里斯蒂安·克劳森.385-400
- 数据过程代数中的不变量马克·贝泽姆,简·弗里索·格鲁特.401-416
- 值传递系统的基于测试的抽象兰斯·克莱维兰,詹姆斯·里利.417-432
- 带有谓词和否定前提的结构化操作语义的同余定理克里斯·弗霍夫.433-448
- 一类GSOS语言生成规则行为的完备推理系统的推导卢卡·埃特罗.449-464
- 具有部分选择的过程代数Jos C.M.Baeten先生,简·A·伯格斯特拉.465-480
- 概率过程的概率模拟罗伯托·塞加拉,南希·A·林奇.481-496
- 概率过程测试预序的完全抽象特征袁绍基（Shoji Yuen）,兰斯·克莱维兰,泽内普·达亚尔,斯科特·A·斯莫尔卡.497-512
- 概率I/O自动机的组成和行为吴淑惠（Sue-Hwey Wu）,斯科特·A·斯莫尔卡,尤金·W·斯塔克.513-528