Truly Concurrent Process Algebra With Localities

Chapter 6: ${\pi }_{tc}$ with localities

Abstract

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

Keywords

Process Algebra; True Concurrency; Localities

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