@inproceedings{PhillipsUlidowski07,
author = {I.C.C. Phillips and I. Ulidowski},
title = {Reversibility and models for concurrency},
booktitle = {Proceedings of 4th Workshop on Structural Operational Semantics SOS 2007},
series = {ENTCS},
volume={192},
pages={93--108},
year = 2007
}