Truly Concurrent Process Algebra With Localities

Chapter 7: Probabilistic location-related bisimulation semantics for true concurrency

Abstract

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

Keywords

Process Algebra; True Concurrency; Localities

In this chapter, we present the probabilistic location-related bisimulation semantics for true concurrency. This chapter is organized as follows. We introduce the probabilistic static location bisimulations in Section 7.1 and the probabilistic dynamic location bisimulations in Section 7.2.

7.1 Probabilistic static location bisimulations

Let Loc be the set of locations and $u,v\in Lo{c}^{⁎}$. Letting ≪ be the sequential ...