Computing Publications

Publications Home » Operational Semantics of Reversib...

Operational Semantics of Reversibility in Process Algebra

Iain Phillips, Irek Ulidowski

Conference or Workshop Paper
Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond (PA '05), Bertinoro, Forli, Italy, August 1-5, 2005
Electronic Notes in Theoretical Computer Science
Volume 162
pp.281–286
September, 2006
DOI 10.1016/j.entcs.2005.12.095
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 discuss reversibility in major process algebras from the point of view of operational semantics. The main difficulty seems to be with the definitions of forward and reverse computation for the dynamic operators, and we confine ourselves to these, leaving the static operators for further work. We consider a solution where predicates in SOS rules play a vital role.

BibTEX file for the publication
 

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