Handbook of Truly Concurrent Process Algebra

Chapter 7: Partially reversible ${\pi }_{tc}$

Abstract

This chapter introduces a mobile calculus of partially reversible computing.

Keywords

Reversible Computing; Calculus; Mobility

In this chapter, we design ${\pi }_{tc}$ with partial reversibility. This chapter is organized as follows. In Section 7.1, we introduce the truly concurrent operational semantics. Then, we introduce the syntax and operational semantics, laws modulo strongly truly concurrent bisimulations, and algebraic theory of ${\pi }_{tc}$ with reversibility in Sections 7.2, 7.3, and 7.4, respectively.

7.1 Operational ...