Computing Publications

Publications Home » Reversing Algebraic Process Calculi

Reversing Algebraic Process Calculi

Iain Phillips, Irek Ulidowski

Journal Article
Journal of Logic and Algebraic Programming
Volume 73
Issues 1–2
pp.70–96
September, 2007
Elsevier
DOI 10.1016/j.jlap.2006.11.002
Abstract

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.

BibTEX file for the publication
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.