Truly Concurrent Process Algebra With Localities

Chapter 13: Reversible APTC with localities

Abstract

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

Keywords

Process Algebra; True Concurrency; Localities; Reversibility

In this chapter, we introduce reversible APTC with localities, including reversible APTC with static localities in Section 13.1 and reversible APTC with dynamic localities in Section 13.2.

13.1 Reversible APTC with static localities

13.1.1 Reversible BATC with static localities

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