April 2024
Intermediate to advanced
200 pages
3h 56m
English
This is an introduction to truly concurrent process algebra.
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 ...