@inproceedings{UliYuen00,
author={I. Ulidowski and S. Yuen},
title={Process languages for rooted eager bisimulation},
booktitle={Proceedings of the 11th International Conference on Concurrency Theory
	CONCUR 2000},
editor={D. Miller and C. Palamidessi},
year=2000,
publisher={Springer},
volume=1877,
series=LNCS}