Handbook of Truly Concurrent Process Algebra

Chapter 10: A calculus for probabilistic true concurrency

Abstract

This chapter introduces a calculus for probabilistic computing in true concurrency.

Keywords

Probabilistic Computing; Calculus; True Concurrency

In this chapter, we design a calculus for probabilistic true concurrency (CPTC). This chapter is organized as follows. We introduce the syntax and operational semantics in Section 10.1, strongly probabilistic truly concurrent bisimulations in Section 10.2, and its properties for weakly probabilistic truly concurrent bisimulations in Section 10.3.

10.1 Syntax and operational semantics

We assume an infinite set $\mathcal{N}$ of (action or event) names, and ...