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. |
| |||||||| | |
Author: Irek Ulidowski (I.Ulidowski@mcs.le.ac.uk). |