Glabbeek, Rob J. van
-
BRICS Report Series No. 56 (1995): RS-56 Axiomatizing Prefix Iteration with Silent Steps - Articles
Axiomatizing Prefix Iteration with Silent Steps
Abstract PDF -
BRICS Report Series No. 27 (2003): RS-27 Nested Semantics over Finite Trees are Equationally Hard - Articles
Nested Semantics over Finite Trees are Equationally Hard
Abstract PDF
