Truly Concurrent Process Algebra With Localities

Chapter 18: ${\pi }_{tc}$ with localities and guards

Abstract

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

Keywords

Process Algebra; True Concurrency; Localities; Reversibility

In this chapter, we introduce ${\pi }_{tc}$ with localities and guards, including static and dynamic location semantics in Section 18.1, ${\pi }_{tc}$ with static localities and guards in Section 18.2 and ${\pi }_{tc}$ with dynamic localities and guards in Section 18.3.

18.1 ...