Truly Concurrent Process Algebra With Localities

Chapter 9: APTC with localities and probability

Abstract

This chapter introduces the algebraic laws for true concurrency with localities and probability.

Keywords

Process Algebra; True Concurrency; Localities

In this chapter, we introduce APTC with localities and probability, including APTC with probabilistic static localities in Section 9.1 and APTC with probabilistic dynamic localities in Section 9.2.

9.1 APTC with probabilistic static localities

9.1.1 BATC with probabilistic static localities

Let Loc be the set of locations, and $loc\in Loc$, $u,v\in Lo{c}^{⁎}$, ϵ