Generalizing determinization from automata to coalgebras
Silva, Alexandra ; Bonchi, Filippo ; Bonsangue, Marcello ; Rutten, Jan
Logical methods in computer science, 2013-03, Vol.9, Issue 1 (1)
[Periódico revisado por pares]
Logical Methods in Computer Science Association
Texto completo disponível