Truly Concurrent Process Algebra With Localities

Chapter 1: Introduction

Abstract

This chapter is the introduction of truly concurrent process algebra with localities.

Keywords

Process Algebra; True Concurrency; Localities

Distribution is an important aspect of concurrent systems that is reflected in their semantics. The distributed semantics gives a measure of the degree of parallelism in concurrent systems and keeps track of the local semantics of components within the concurrent system. Static localities say that processes are equated if they are at the same location and exhibit the same behaviors at each location, while dynamic localities say that locations are associated with actions rather than parallel components.

The well-known process algebras, such as CCS [1,2], ACP [3] and π-calculus ...