@inproceedings{lutin-slap,
author={P. Raymond and Y. Roux},
title={Describing no-deterministic reactive systems by means of regular
expressions},
booktitle={First Workshop on Synchronous Languages, Applications and
Programming, SLAP'02},
address={Grenoble},
month = apr,
year=2002
}