 |
computer science |
||
Reversing Algebraic Process Calculi,Iain Phillips and Irek Ulidowski, In L. Aceto and A. Ingolfsdottir, editors, Proceedings of the 9th International Conference on Foundations of Software Science and Computation Structures FOSSACS 2006, Vienna, Austria, 2006. Springer, LNCS 3921. 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. This paper is available at this location. |
|
![[University Home]](/images/unihome.gif){kind=small} |![[Faculty of Science]](/images/fac_of_science.gif){kind=small} |![[MCS Home]](/images/schhome.gif){kind=small} |![[CS Home]](/images/depthome.gif){kind=small} ||![[University Index A-Z]](/images/index.gif){kind=small} |![[University Search]](/images/search.gif){kind=small} |![[University Help]](/images/help.gif){kind=small} |
|
|
Author: Irek Ulidowski (I.Ulidowski@mcs.le.ac.uk). |
|