Reversing Algebraic Process Calculi,
Iain Phillips and Irek Ulidowski,
In L. Aceto and A. Ingolfsdottir, editors, Proceedings of the 9th International Conference on Foundations of Software Science and Computation Structures FOSSACS 2006, Vienna, Austria, 2006. Springer, LNCS 3921.
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languages for quantum computing. We formulate a procedure for converting operators of standard algebraic process calculi such as CCS, ACP and CSP into reversible operators, while preserving their operational semantics.This paper is available at this location.