University of Leicester

computer science

Reversibility and Models of Concurrency,
Iain Phillips and Irek Ulidowski,
Proceedings of the 4th Workshop on Structural Operational Semantics SOS 2007. ENTCS 192, pp 93-108, 2007.
This paper is available at this doi location.
| [University Home]|[Faculty of Science]|[MCS Home]|[CS Home]||[University Index A-Z]|[University Search]|[University Help]|

Author: Irek Ulidowski (I.Ulidowski@mcs.le.ac.uk).
© University of Leicester. Last modified: 15th April 2008, 18:25:31
CS Web Maintainer.