6 search results - page 1 / 2 » A Kleene Theorem for Polynomial Coalgebras |
FOSSACS
2009
Springer
13 years 11 months ago
2009
Springer
LICS
2009
IEEE
13 years 11 months ago
2009
IEEE
Several dynamical systems, such as deterministic automata and labelled transition systems, can be described as coalgebras of so-called Kripke polynomial functors, built up from co...
DCFS
2011
12 years 4 months ago
2011
We prove Kleene theorems for two subclasses of labelled product systems which are inspired from well-studied subclasses of 1bounded Petri nets. For product T-systems we define a c...
SBMF
2010
Springer
12 years 11 months ago
2010
Springer
A notion of generalized regular expressions for a large class of systems modeled as coalgebras, and an analogue of Kleene's theorem and Kleene algebra, were recently proposed ...
LICS
2010
IEEE
13 years 2 months ago
2010
IEEE
Stream circuits are a convenient graphical way to represent streams (or stream functions) computed by finite dimensional linear systems. We present a sound and complete expression...