3 citations · 3 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2013
A connection between concurrency and language theory
Zoltan Esik
We show that three fixed point structures equipped with (sequential) composition, a sum operation, and a fixed point operation share the same valid equations. These are the theorie…
cs.LO2007★ 3 cited
Axiomatizing rational power series
S. L. Bloom, Z. Esik
Iteration semirings are Conway semirings satisfying Conway's group identities. We show that the semirings $\N^{\rat}\llangle Σ^* \rrangle$ of rational power series with coefficient…