April 2024
Intermediate to advanced
200 pages
3h 56m
English
This is an introduction to guarded truly concurrent process algebra.
Guards; True Concurrency; Process Algebra
This chapter is organized as follows. We introduce the operational semantics of guards in Section 4.1,
with Guards in Section 4.2,
with Guards 4.3, recursion in Section 4.4, abstraction in Section 4.5.
In this section, we extend truly concurrent bisimilarities to the ones containing data states.