Introduction
摘要
There are a variety of real-life distributed systems where several computing devices communicate with each other to achieve certain “functionality” (goals). Examples of such systems include but are not limited to telecommunication systems, distributed information processing systems, VLSI chips, shared memory multiprocessors, banking systems, airline reservation systems, weather prediction systems, aircraft control systems and nuclear plant control systems.