DAUNT 发表于 2025-3-28 16:45:31

http://reply.papertrans.cn/99/9818/981712/981712_41.png

Customary 发表于 2025-3-28 20:24:16

Parallel Programs with Shared Variablesof a large data base. Sharing is also useful to establish communication between different components, as in the case of a data bus. This form of concurrency can be modeled by means of parallel programs with ., variables that can be changed and read by several components.

歹徒 发表于 2025-3-28 23:02:26

Distributed Programserminals in many different travel agencies and a central data base for keeping the current status of all flights. Here the data base and the terminals are the components of the system, and communication is possible between each terminal and the data base.

frivolous 发表于 2025-3-29 05:14:20

http://reply.papertrans.cn/99/9818/981712/981712_44.png
页: 1 2 3 4 [5]
查看完整版本: Titlebook: Verification of Sequential and Concurrent Programs; Krzysztof R. Apt,Ernst-Rüdiger Olderog Book 19911st edition Springer Science+Business