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

3: Truly concurrent process algebra

Abstract

This is an introduction to truly concurrent process algebra.

Keywords

True Concurrency; Algebra; Process Algebra

In this chapter, we introduce the preliminaries on truly concurrent process algebra [8], which is based on truly concurrent operational semantics.

APTC eliminates the differences of structures of transition system, event structure, etc., and discusses their behavioral equivalences. It considers that there are two kinds of causality relations: the chronological order modeled by the sequential composition and the causal order between different parallel branches modeled by the communication merge. It also considers that there exist two kinds of confliction relations: the structural confliction modeled ...

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