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