Title: Formal Techniques for Distributed Systems
Subjects: Mathematical Logic and Formal Languages, Programming Techniques, Software engineering, Computer networks, Logic design, Logics and Meanings of Programs, Computer science, Programming Languages, Compilers, Interpreters, Electronic data processing, distributed processing, Computer Communication Networks