2 results
Alexandra Silva ; Marcello Bonsangue ; Jan Rutten.
In this paper, we present a systematic way of deriving (1) languages of (generalised) regular expressions, and (2) sound and complete axiomatizations thereof, for a wide variety of systems. This generalizes both the results of Kleene (on regular languages and deterministic finite automata) and […]
Published on September 9, 2010
Helle Hvid Hansen ; Clemens Kupke ; Jan Rutten.
Streams, or infinite sequences, are infinite objects of a very simple type, yet they have a rich theory partly due to their ubiquity in mathematics and computer science. Stream differential equations are a coinductive method for specifying streams and stream operations, and their theory has been […]
Published on February 3, 2017