Data | Título | Autor(es) | Tipo | Acesso |
Fev-2014 | Algebra - coalgebra duality in Brzozowski's minimization algorithm | Bonchi, Filippo; Rutten, Jan; Panangaen, Prakash, et al. | Artigo | Acesso aberto |
2013 | Brzozowski's and up-to algorithms for must testing | Bonchi, Filippo; Caltais, Georgiana; Pous, Damien, et al. | Artigo em ata de conferência | Acesso aberto |
2012 | A coalgebraic perspective on linear weighted automata | Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele, et al. | Artigo | Acesso aberto |
2012 | Final semantics for decorated traces | Bonchi, Filippo; Bonsangue, Marcello; Caltais, Georgiana, et al. | Artigo | Acesso aberto |
2014 | How to kill epsilons with a dagger: a coalgebraic take on systems with algebraic label structure | Bonchi, Filippo; Milius, Stefan; Silva, Alexandra M., et al. | Artigo em ata de conferência | Acesso aberto |
2011 | Quantitative kleene coalgebras | Rutten, Jan; Bonsangue, Marcello; Bonchi, Filippo, et al. | Artigo | Acesso aberto |