Titlebook: Verification of Sequential and Concurrent Programs; Krzysztof R. Apt,Ernst-Rüdiger Olderog Book 19911st edition Springer Science+Business

DAUNT

Customary

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.

歹徒

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