9: Modeling and verification of distributed systems
Abstract
This chapter introduces the modeling and verification of distributed systems.
Keywords
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.
9.1 A model of distributed computations
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, ...
Get Theory of Structured Parallel Programming now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
