Computing Publications

Publications Home » Reversing algebraic process calculi

Reversing algebraic process calculi

Iain Phillips, Irek Ulidowski

Conference or Workshop Paper
Foundations of Software Science and Computation Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006
2006
Lecture Notes in Computer Science
Volume 3921
pp.246–260
Springer-Verlag
ISBN 3-540-33045-3
ISSN 0302-9743
DOI 10.1007/11690634_17
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, ACP and CSP into reversible operators, while preserving their operational semantics.

BibTEX file for the publication
 

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