✦ LIBER ✦

Describing non-deterministic reactive systems by means of regular expressions

✍ Scribed by Pascal Raymond; Yvan Roux

Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 445 KB
Volume: 65
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80438-4

No coin nor oath required. For personal study only.

✦ Synopsis

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