| 1131 | -- | 1133 | Kassem Saleh. Editorial |
| 1134 | -- | 1150 | Jean-Pierre Courtiat, Michel Diaz, Roberto C. de Oliveira, Patrick Sénac. Formal models for the description of timed behaviors of multimedia and hypermedia distributed systems |
| 1151 | -- | 1160 | Joachim Parrow, Peter Sjödin. Designing a multiway synchronization protocol |
| 1161 | -- | 1174 | Jorge Arturo Cobb, Mohamed G. Gouda. Group routing without group routing tables: an exercise in protocol design |
| 1175 | -- | 1187 | Hong Liu, Raymond E. Miller. An approach to cyclic protocol validation |
| 1188 | -- | 1199 | Leo Cacciari, Omar Rafiq. Validation of protocols with temporal constraints |
| 1200 | -- | 1215 | Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno. On constructing communication protocols from component-based service specifications |
| 1216 | -- | 1225 | Hou-Wa J. Jeng, Ming T. Liu. Protocol converter generation using the STS approach |
| 1226 | -- | 1235 | Reinhard Gotzhein, Jan Bredereke, Wolfgang Effelsberg, Stephan Fischer, Thomas Held, Hartmut König. Improving the efficiency of automated protocol implementation using Estelle |
| 1236 | -- | 1249 | Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann, Rachida Dssouli. Testing in context: framework and test derivation |
| 1250 | -- | 1257 | To-Yat Cheung. Petri nets for protocol engineering |
| 1258 | -- | 1267 | Robert L. Probert, Ning Lew. Protocol quality engineering: addressing industry concerns about formal methods |
| 1268 | -- | 1275 | Norio Shiratori, Takuo Suganuma, Sigeki Sugiura, Goutam Chakraborty, Kenji Sugawara, Tetsuo Kinoshita, E. S. Lee. Framework of a flexible computer communication network |
| 1276 | -- | 1288 | Kazi Farooqui, Luigi Logrippo. Group communication models |