-
Modal specifications are a syntactic fragment of the Mu-calculus
In this report we introduce modal specifications, a new object dedicated to specify some branching-time properties for systems. Modal specifications are a useful tool... -
Schützenberger and Eilenberg theorems for words on linear orderings
International audience
