@inproceedings{PhillipsUlidowski06,
author = {I.C.C. Phillips and I. Ulidowski},
title = {Reversing algebraic process calculi},
booktitle = {Proceedings of 9th International Conference on Foundations
        of Software Science and Computation Structures, {FOSSACS} 2006},
series = LNCS,
publisher = {Springer},
volume = 3921,
pages = {246-260},
year = 2006
}