Fig. 2From: RETRACTED ARTICLE: An algebra of reversible computationAbstractions for the example of business protocolBack to article page