Title: Formal methods for communication protocol specification and verification
Subjects: Computer networks