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
September, 2006
DOI 10.1016/j.entcs.2005.12.095

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 built & maintained by Ashok Argent-Katwala.