Handbook of Truly Concurrent Process Algebra

Chapter 13: Guards

Abstract

This chapter introduces a guarded axiomatization for probabilistic computing in true concurrency.

Keywords

Probabilistic Computing; Axiomatization; Guards

In this chapter, we introduce guards into probabilistic process algebra in Chapter 4 based on the work on guards for process algebra [14]. This chapter is organized as follows. We introduce the operational semantics of guards in Section 13.1, $BAPTC$ with Guards in Section 13.2, $APPTC$ with Guards in Section 13.3, recursion in Section 13.4, abstraction in Section 13.5, and Hoare ...