Multimedia Networking. We have investigated the use of formal methods to specify multimedia communication systems.
Network Management. We have investigated network management protocols and the use of formal methods in the area of network management.
Protocol Implementation. One FDT called LOTOS is developed by ISO for specification of computer network protocols.
Protocol Synthesis. To design a network protocol is a tough job for protocol designers. It is desirable to provide automatic synthesis tools to the designers. We developed a protocol synthesis algorithm to generate the peer entity from a given single entity.