Truly Concurrent Process Algebra With Localities

Chapter 14: Reversible ${\pi }_{tc}$ with localities

Abstract

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

Keywords

Process Algebra; True Concurrency; Localities; Reversibility

In this chapter, we introduce reversible ${\pi }_{tc}$ with localities, including reversible static and dynamic location semantics in Section 14.1, reversible ${\pi }_{tc}$ with static localities in Section 14.2, reversible ${\pi }_{tc}$ with dynamic localities in Section ...