Skip to main content

Table 5 Axioms for silent step

From: RETRACTED ARTICLE: An algebra of reversible computation

No.

Axiom

RB1

\(x + \tau = x\)

RB2

\(\tau + x = x\)

RB3

\(\tau \cdot x = x\)

RB4

\(x \cdot \tau = x\)