Reversing Algebraic Process Calculi

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.

• Type: Conference
• Year: 2006
• Where: FOSSACS
• Authors: Iain C. C. Phillips, Irek Ulidowski
• Keywords: Algebraic Process Calculi, FOSSACS 2006, Promising Application Areas, Reversible Computation, Software Engineering