Truly Concurrent Process Algebra With Localities

Chapter 8: CTC with localities and probability

Abstract

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

Keywords

Process Algebra; True Concurrency; Localities

In this chapter, we introduce CTC with localities and probability, including CTC with probabilistic static localities in Section 8.1 and CTC with probabilistic dynamic localities in Section 8.2.

8.1 CTC with probabilistic static localities

8.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 ...