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