Iain Phillips, Irek Ulidowski
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 into reversible operators, while preserving their operational semantics. We define forward-reverse bisimulation and show that it is preserved by all reversible operators.
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.