Truly Concurrent Process Algebra With Localities

Chapter 3: Location-related bisimulation semantics for true concurrency

Abstract

This is an introduction of location-based bisimulation semantics for true concurrency.

Keywords

Process Algebra; True Concurrency; Localities

In this chapter, we give the location-related bisimulation semantics for true concurrency. We introduce the static location bisimulations in Section 3.1 and the dynamic location bisimulations in Section 3.2.

3.1 Static location bisimulations

Let Loc be the set of locations and $u,v\in Lo{c}^{⁎}$. Let ≪ be the sequential ordering on $Lo{c}^{⁎}$; we call ...