Title: Formal Methods for Protocol Engineering and Distributed Systems
Subjects: Computer network protocols, Electronic data processing, distributed processing