Distributed systems. Methods and tools for specification. An advanced course (Munich, April 3-12, 1984) (Q1066659)

This volume comprised the material presented by renowned speakers during the Advanced Course on Distributed Systems held at the Technische Universität München, in 1984. It provides a comprehensive introduction to the fundamental concepts and programming paradigms pertinent to the design and verification of distributed systems. The main topics discussed in this volume are: formal foundation for the specification and verification of distributed systems, paradigms and languaged constructs for distributed programs, issues, tools and models for protocol specification. The course material has been selected such that not only the most important models tools and methods commonly used for specifying properties of distributed systems but also the fundamentals are presented for understanding those models, methods and tools.