An automated tool for computer network communication protocol validation was developed and implemented. The method utilyzes the Program Modeling Language (PPML)

Communication protocols are rules whereby meaningful communication can be exchanged between different communicating entities. In general, they are complex and d

Increasingly numerous and complex communication protocols are being employed in distributed systems and computer networks of all types. This Note describes some

This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of finite sta