Expression languages that support the syntactic description of system
behaviour are one of the classical topics in computer science. The
prototypic example are regular expressions; further examples include
Kleene algebra with tests [1]} and expression languages for
labelled transition systems [2]}.
