Chapter 3: Reversible calculus
Abstract
This chapter introduces a calculus of fully reversible computing.
Keywords
Reversible Computing; Calculus; Algebraic Theory
In this chapter, we introduce reversible computing in CTC, which is called RCTC. This chapter is organized as follows. We give the syntax and operational semantics of RCTC in Section 3.1. We discuss the properties of RCTC based on strongly forward–reverse truly concurrent bisimilarities in Section 3.2, and the properties of RCTC based on weakly forward–reverse truly concurrent bisimilarities in Section 3.3.
3.1 Syntax and operational semantics
We assume an infinite set 
of (action or event) ...
Get Handbook of Truly Concurrent Process Algebra now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
