Title: Formal Techniques for Networked and Distributed Systems
Subjects: Computer network protocols, Electronic data processing, distributed processing