de de hbs_lat de de de fr hbs_lat es de en en en de de en en en de es en en en en ca en en en en en uk en en en en en en en en en en de ru de de de pms de de nl en nl en it de de nl de de de io sv es de de de de de
Iteration Theories: The Equational Logic of Iterative Processes. EATCS Monographs. Springer, Berlin, F. Bonchi, M. Bonsangue, M. Boreale, J. Rutten, and A. Silva. A coalgebraic perspective on linear weighted automata. Inf. & Comp., 211:77–105, F. Bonchi, M. Bonsangue, H. Hansen, P. Panangaden, J. Rutten, ...
Final Semantics for Decorated Traces - ScienceDirect
Using the generalized powerset construction, recently introduced by a subset of the authors [Silva, A., F. Bonchi, M.M. Bonsangue and J.J.M.M. Rutten, ...
IRE Transactions on Automatic Control, 4(3): , F. Bonchi, M. Bonsangue, J. Rutten, and A. Silva. Brzozowski's algorithm (co)algebraically. In Logic ...
Final Semantics for Decorated Traces – topic of research paper in...
... the authors [Silva, A., F. Bonchi, M.M. Bonsangue and J.J.M.M. Rutten, Generalizing the powerset construction, coalgebraically, in: K. Lodaya and M. Mahajan, ...
Deriving syntax and axioms for quantitative regular behaviours —...
Deriving syntax and axioms for quantitative regular behaviours. F. Bonchi, M.M. Bonsangue, J.J.M.M. Rutten, A. Silva. Theoretical Computer Science · Network ...
Generalizing the powerset construction, coalgebraically — Vrije...
Generalizing the powerset construction, coalgebraically. A. Silva, F. Bonchi, M.M. Bonsangue, J.J.M.M. Rutten. Theoretical Computer Science · Network Institute · Theoretical Computer Science. Research output: Scientific - peer-review › Conference contribution ...
Quantitative Kleene coalgebras — Vrije Universiteit Amsterdamresearch.vu.nl › publications › qua...
Quantitative Kleene coalgebras. A. Silva, F. Bonchi, M.M. Bonsangue, J.J.M.M. Rutten. Theoretical Computer Science · Network Institute · Theoretical Computer ...