An Algebraic Characterization of Data and Timed Languages

Patricia Bouyer, Antoine Petit, Denis Thérien. An Algebraic Characterization of Data and Timed Languages. In Kim Guldstrand Larsen, Mogens Nielsen, editors, CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings. Volume 2154 of Lecture Notes in Computer Science, pages 248-261, Springer, 2001. [doi]

Authors

Patricia Bouyer

This author has not been identified. Look up 'Patricia Bouyer' in Google

Antoine Petit

This author has not been identified. Look up 'Antoine Petit' in Google

Denis Thérien

This author has not been identified. Look up 'Denis Thérien' in Google