Handbook of Truly Concurrent Process Algebra

Chapter 17: Truly concurrent process algebra

Abstract

This chapter introduces the preliminaries on truly concurrent process algebras.

Keywords

True Concurrency; Process Algebras; Process Creation

In this chapter, to make this book self-sufficient, we introduce the preliminaries on truly concurrent process algebra [9], which is based on truly concurrent operational semantics. For the basic knowledge of truly concurrent process algebras, please refer to Chapter 2.

17.1 Process creation

To model process creation, we introduce a unity operator new inspired by Baeten's work on process creation [16].

The transition rules of new are as Table 17.1 shows.

Table 17.1

Transition rule of the new operator.

$\frac{\mathbf{new}(x)\to x}{}\frac{x\stackrel{e}{\to }{x}^{\prime }}{\mathbf{new}(x)\stackrel{e}{\to }\mathbf{new}(x^{\prime })}$

Also, the transition rules of the ...