Truly Concurrent Process Algebra With Localities

Chapter 10: ${\pi }_{tc}$ with localities and probability

Abstract

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

Keywords

Process Algebra; True Concurrency; Localities

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