Skip to main content

Table 7 Cluster fair abstraction rule

From: RETRACTED ARTICLE: An algebra of reversible computation

No.

Axiom

CFAR

If X is in a cluster for I with exits \(\{\upsilon _1Y_1,\ldots ,\upsilon _mY_m,\omega _1,\ldots ,\omega _n\}\),

 

then \(\tau \cdot \tau _I(\langle X|E\rangle )=\tau \cdot \tau _I(\upsilon _1\langle Y_1|E\rangle ,\ldots ,\upsilon _m\langle Y_m|E\rangle ,\omega _1,\ldots ,\omega _n)\)