@inproceedings{UliYuen97,
author={I. Ulidowski and S. Yuen},
title={Extending process languages with time},
booktitle={Proceedings of the 6th International Conference on Algebraic
	Methodology and Software Technology AMAST'97},
editor={M. Johnson},
year=1997,
publisher={Springer},
volume=1349,
series=LNCS}