Describing non-deterministic reactive systems by means of regular expressions
Pascal Raymond, Yvan Roux · Electronic Notes in Theoretical Computer Science · 2002
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).