@Article{         bonchi:hal-00909426,
  Author        = "Bonchi, Filippo and Bonsangue, Marcello and Helle Hvid, Hansen and Panangaden, Prakash and Rutten, Jan and Silva, Alexandra",
  affiliation   = "Laboratoire de l'Informatique du Parall{\'e}lisme - LIP , Centrum voor Wiskunde en Informatica - CWI , Computing Science Department - CS , School of Computer Science [Quebec] - SOCS",
  audience      = "international",
  date-added    = "2014-01-03 19:00:48 +0000",
  date-modified = "2014-01-03 19:00:48 +0000",
  hal_id        = "hal-00909426",
  Journal       = "ACM Transactions on Computational Logic (TOCL)",
  Language      = "English",
  Pages         = "To appear",
  Title         = "{Algebra-Coalgebra Duality in Brzozowski's Minimization Algorithm}",
  URL           = "http://hal.archives-ouvertes.fr/hal-00909426",
  Year          = "2014",
  bdsk-url-1    = "http://hal.archives-ouvertes.fr/hal-00909426",
  File          = "Algebra-Coalgebra Duality in Brzozowski's Minimization Algorithm - Bonchi, Bonsangue, Helle Hvid, Panangaden, Rutten, Silva (0) (0) - a - a - o.pdf",
  file-2        = "Algebra-Coalgebra Duality in Brzozowski's Minimization Algorithm - Bonchi, Bonsangue, Helle Hvid, Panangaden, Rutten, Silva (1) (0) - a - a - o.pdf"
}

@Article{ bonchi:hal-00909426, Author = "Bonchi, Filippo and Bonsangue, Marcello and Helle Hvid, Hansen and Panangaden, Prakash and Rutten, Jan and Silva, Alexandra", affiliation = "Laboratoire de l'Informatique du Parall{\'e}lisme - LIP , Centrum voor Wiskunde en Informatica - CWI , Computing Science Department - CS , School of Computer Science [Quebec] - SOCS", audience = "international", date-added = "2014-01-03 19:00:48 +0000", date-modified = "2014-01-03 19:00:48 +0000", hal_id = "hal-00909426", Journal = "ACM Transactions on Computational Logic (TOCL)", Language = "English", Pages = "To appear", Title = "{Algebra-Coalgebra Duality in Brzozowski's Minimization Algorithm}", URL = "http://hal.archives-ouvertes.fr/hal-00909426", Year = "2014", bdsk-url-1 = "http://hal.archives-ouvertes.fr/hal-00909426", File = "Algebra-Coalgebra Duality in Brzozowski's Minimization Algorithm - Bonchi, Bonsangue, Helle Hvid, Panangaden, Rutten, Silva (0) (0) - a - a - o.pdf", file-2 = "Algebra-Coalgebra Duality in Brzozowski's Minimization Algorithm - Bonchi, Bonsangue, Helle Hvid, Panangaden, Rutten, Silva (1) (0) - a - a - o.pdf" }