April 2024
Intermediate to advanced
200 pages
3h 56m
English
This chapter introduces the modeling and verification of distributed systems.
Distributed Computing; Verification; Process Algebra
In this chapter, we will introduce the modeling of distributed systems [16] by use of APTC, guarded APTC, and distributed APTC.
A distributed system consists of a set of processors and a set of channels among the processors, as Fig. 9.1 shows. Each processor may be a shared memories based multi-cores or multi-processors system. The whole distributed computational task is defined by atomic actions and causal relations among them. And there exist two kinds of causalities: one is executional order defined causality, ...