Describing non-deterministic reactive systems by means of regular expressions

Abstract:
This paper presents a language based on regular expressions for describing non-deterministic reactive systems. It also presents some ideas on how to build (or adapt) tools for exploiting such a language (recognizers, generators and provers).

Reference:

@inproceedings{pryrslap02,
author={P. Raymond and Y.  Roux},
title={Describing non-deterministic reactive systems by means of regular expressions},
journal={Synchronous Languages Applications and Programming - SLap02},
publisher={Electronic Notes in Theoretical Computer Science},
volume = {65.5},
year=2002,
}

Postscript file