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)\) |