An Algebraic Characterization of Data and Timed Languages.

Patricia Bouyer, Antoine Petit, Denis Thrien

Browse the full CONCUR paper archive.