Sciweavers

Share
FOSSACS
2006
Springer

Reversing Algebraic Process Calculi

11 years 12 months ago
Reversing Algebraic Process Calculi
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.
Iain C. C. Phillips, Irek Ulidowski
Added 22 Aug 2010
Updated 22 Aug 2010
Type Conference
Year 2006
Where FOSSACS
Authors Iain C. C. Phillips, Irek Ulidowski
Comments (0)
books