Theory of Structured Parallel Programming

4: Guarded APTC

Abstract

This is an introduction to guarded truly concurrent process algebra.

Keywords

Guards; True Concurrency; Process Algebra

This chapter is organized as follows. We introduce the operational semantics of guards in Section 4.1, $BATC$ with Guards in Section 4.2, $APTC$ with Guards 4.3, recursion in Section 4.4, abstraction in Section 4.5.

4.1 Operational semantics

In this section, we extend truly concurrent bisimilarities to the ones containing data states.

Definition 4.1

Prime event structure with silent event and empty event

Let Λ be a fixed ...