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). |