| 14 | -- | 15 | Fuchun J. Lin, Ming T. Liu. The Rise of Protocol Engineering - Guest Editors Introduction |
| 17 | -- | 22 | Gerard J. Holzmann. Protocol Design: Redefining the State of the Art |
| 23 | -- | 26 | Fuchun J. Lin, Ming T. Liu. Protocol Validation for Large-Scale Applications |
| 27 | -- | 37 | Kshirasagar Naik, Behçet Sarikaya. testing Communication Protocols |
| 38 | -- | 46 | Norio Shiratori, Kaoru Takahashi, Kenji Sugawara, Tetsuo Kinoshita. Using Artificial Intelligence in Communication System Design |
| 47 | -- | 54 | Lynette van Zijl, Deon Mitton, Simon Crosby. A Tool for Graphical Network Modeling and Analysis |
| 56 | -- | 67 | Luqi. Computer-Aided Prototyping for a Command-and-Control System Using CAPS |
| 69 | -- | 77 | Perry A. Emrath, Sanjoy Ghosh, David A. Padua. Detecting Nondeterminacy in Parallel Programs |