Handbook of Truly Concurrent Process Algebra

Chapter 12: Mobility

Abstract

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

Keywords

Probabilistic Computing; Calculus; Mobility

In this chapter, we design a calculus of probabilistic truly concurrent mobile processes (${\pi }_{ptc}$). This chapter is organized as follows. We introduce the syntax and operational semantics of ${\pi }_{ptc}$ in Section 12.1, its properties for strongly probabilistic truly concurrent bisimulations in Section 12.2, and its axiomatization in Section 12.3.

12.1 Syntax and operational semantics

We assume ...