Please use this identifier to cite or link to this item:
Title: Reversing algebraic process calculi
Authors: Phillips, I. C. C.
Ulidowski, Irek
First Published: 2007
Citation: Journal of Logic and Algebraic Programming, 2007, 73, (1-2), pp.70-96
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.
DOI Link: 10.1016/j.jlap.2006.11.002
ISSN: 1567-8326
Type: Article
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
There are no files associated with this item.

Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.