Truly Concurrent Process Algebra With Localities

Chapter 15: Location-related bisimulation semantics for true concurrency

Abstract

This chapter introduces the location-related bisimulation semantics for true concurrency with states.

Keywords

Process Algebra; True Concurrency; Localities; Reversibility

In this chapter, we give the location-related bisimulation semantics for true concurrency. This chapter is organized as follows. We introduce the static location bisimulations in Section 15.1, the dynamic location bisimulations in Section 15.2.

15.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 v is an extension or a sublocation ...