Title: Formal Techniques For Distributed Systems Joint 14th Ifip Wg 61 International Conference And 32nd Ifip Wg 61 International Conference Proceedings
Subjects: Operating systems (computers), System design, Electronic data processing, Congresses, Distributed processing, Formal methods (Computer science)