Truly Concurrent Process Algebra With Localities

Chapter 12: Reversible CTC with localities

Abstract

This chapter introduces a calculus for true concurrency with localities and reversibility.

Keywords

Process Algebra; True Concurrency; Localities

In this chapter, we introduce reversible CTC with localities, including reversible CTC with static localities in Section 12.1 and reversible CTC with dynamic localities in Section 12.2.

12.1 Reversible CTC with static localities

12.1.1 Syntax and operational semantics

We assume an infinite set $\mathcal{N}$ of (action or event) names and use $a,b,c,\cdots$ to range over $\mathcal{N}$. We denote ...