	computer science
	HOME	MAP	CONTACT

Operational Semantics of Reversibility in Process Algebra,
Iain Phillips and Irek Ulidowski,
To appear in the Proceedings of Algebraic Process Calculi: The First Twenty Five Years and Beyond, Bertinoro, Italy, 1-5 August 2005.

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.

\| \|\|\|\|\|\|\|\|
Author: Irek Ulidowski (I.Ulidowski@mcs.le.ac.uk). © University of Leicester. Last modified: 27th December 2005, 12:16:44 CS Web Maintainer.

computer science