| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
-Continuous Kleene ω-Algebras
Abstract : We define and study basic properties of *-continuous Kleene ω-algebras that involve a *-continuous Kleene algebra with a *-continuous action on a semimodule and an infinite product operation that is also *-continuous. We show that *-continuous Kleene ω-algebras give rise to iteration semiring-semimodule pairs, and that for Büchi automata over *-continuous Kleene ω-algebras, one can compute the associated infinitary power series.
Cited literature [8 references]
https://hal.inria.fr/hal-01237648
Contributor : Uli Fahrenberg <>
Submitted on : Thursday, December 3, 2015 - 3:32:34 PM
Last modification on : Tuesday, December 8, 2020 - 9:45:30 AM
Long-term archiving on: : Saturday, April 29, 2017 - 5:40:01 AM
Contributor : Uli Fahrenberg <>
Submitted on : Thursday, December 3, 2015 - 3:32:34 PM
Last modification on : Tuesday, December 8, 2020 - 9:45:30 AM
Long-term archiving on: : Saturday, April 29, 2017 - 5:40:01 AM
File
main-dltfinal.pdf
Files produced by the author(s)