Please use this identifier to cite or link to this item:
|Title:||Reversing algebraic process calculi|
|Authors:||Phillips, I. C. C.|
|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.|
|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.