Skip to Main Content
Theory of Structured Parallel Programming
book

Theory of Structured Parallel Programming

by Yong Wang
April 2024
Intermediate to advanced content levelIntermediate to advanced
200 pages
3h 56m
English
Morgan Kaufmann
Content preview from Theory of Structured Parallel Programming

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, ...

Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Start your free trial

You might also like

Geometry for Programmers

Geometry for Programmers

Oleksandr Kaleniuk
The Mathematics of Machine Learning

The Mathematics of Machine Learning

Maria Han Veiga, François Gaston Ged

Publisher Resources

ISBN: 9780443248153