A formal approach to the desin and implementation of network communication protocol.

Albert Y. Teng, Ming T. Liu

Browse the full COMPSAC paper archive.