Handbook of Truly Concurrent Process Algebra

Chapter 5: Partially reversible calculus

Abstract

This chapter introduces a calculus of partially reversible computing.

Keywords

Reversible Computing; Calculus; Algebraic Theory

Based on CTC, we also did some work on reversible algebra called RCTC. However, RCTC is imperfect, it is sound, but it has no recursion theory. The main reason for this is that the existence of a multichoice operator means that a recursion theory cannot be established. In this chapter, we try to use an alternative operator to replace a multichoice operator and we obtain a perfect partially reversible calculus. The main reason for using an alternative operator is that when an alternative branch is forward executing, the reverse branch is also determined and other branches have ...