缺少摘要。
- 并行面向对象语言的形式化技术皮埃尔美国.1-17
- 有理代数过程的因果模型阿马尔·布瓦利,罗伯特·德西蒙.18-19
- 过程代数的动作与状态逻辑洛科·德·尼古拉.20-22
- 用于确定行为等效性的工具集Jean-Claude费尔南德斯,劳伦特·穆尼尔.23-42
- 基于因果关系的并发系统设计模型乌尔苏拉·戈尔茨.43-44
- 移动过程的模态逻辑罗宾·米尔纳,约阿希姆·帕罗,大卫·沃克.45-60
- 通信程序的设计微积分Ernst-Rüdiger Olderog公司.61-77
- ACP测试理论卢卡·埃特罗,Anna Ingólfsdóttir女士.78-95
- 实空间过程代数Jos C.M.Baeten先生,简·A·伯格斯特拉.96-110
- 异步通信范式中的失败弗兰克·S·德·波尔,乔斯特·科克,帕拉米德斯猫,Jan J.M.M.鲁滕.111-126
- 嵌入作为语言比较的工具:关于CSP层次结构弗兰克·S·德·波尔,帕拉米德斯猫.127-141
- CCS的条件算子胡安尼托·卡米莱里.142-156
- 迹理论的代数形式尼科连·德罗斯特.157-171
- 活性和有界自由选择Petri网的合成哈维尔·埃斯帕尔扎,曼努埃尔·席尔瓦.172-187
- 空间pomset的观测代数吉安·路易吉·费拉里,乌戈·蒙塔纳里.188-202
- 相互作用过程的同步松弛变换尼西姆·弗朗西兹,伊拉·福曼.203-219
- 分层分布式系统的组合模型肯尼思·戈德曼.220-234
- 带防护的过程代数-结合霍尔逻辑和过程代数(扩展抽象)简·弗里索·格鲁特,阿尔班·蓬塞.235-249
- 模型检查和模块化验证奥尔娜·格伦伯格,大卫·E·朗.250-265
- 几何逻辑、因果关系和事件结构杰里米·冈瓦德纳.266-280
- 扩展Horn子句:框架和一些语义Jean-Marie Jacquet女士,路易斯·蒙泰罗.281-297
- 并行系统开发中的动作系统和动作细化——一种代数方法威尔·扬森,曼内斯·波尔,作业Zwiers.298-316
- 带约束弧网络的不变语义里萨德·贾尼基,库特尼.317-331
- 抽象时间观测与过程代数阿兰·杰弗里.332-345
- 分布式系统规范间的仿真本特·琼森.346-360
- 使用保真约简提高克里普克模型的清晰度鲁佩·凯沃拉,安蒂·瓦尔马里.361-375
- 实时过程代数中的完备性史蒂文·克鲁塞纳.376-392
- 分布式CCS帕德马纳班·克里希南.393-407
- 时间约束自动机(扩展抽象)迈克尔·梅里特,弗朗西斯玛丽·莫杜格诺,马克·塔特尔.408-423
- 关于速度的相关过程法伦·莫勒,克里斯·M·N·托夫茨.424-438
- 测试、下注和定时真实并发莫菲.439-454
- 真正并发模型中的公平性多丽丝·诺尔特,卢兹·普里泽.455-469
- 确定过程的有效验证华军奎.470-479
- 回溯过程实验Schnoebelen博士.480-494
- 过程代数的一些有限图模型保罗·斯普鲁特,Roel Wieringa公司.495-509
- 一种开发完全正确的共享状态并行程序的方法凯蒂尔·斯特伦.510-525
- 减少标签转换系统节省验证工作安蒂·瓦尔马里,马修·克莱格.526-540