MM Bonsangue | TU Delft Repository

MB

MM Bonsangue

Conference paper (2)

Journal article (2)

4 records found

1

Presenting distributive laws

Journal article (2015) - MM Bonsangue (author), H.H. Hansen (author), A Kurz (author), J Rot (author)

(Co)algebraic characterizations of signal flow graphs

Conference paper (2014) - H Basold (author), MM Bonsangue (author), H. Hansen (author), JJMM Rutten (author)

Algebra-coalgebra duality in Brzozowski's minimization algorithm

Journal article (2014) - MM Bonsangue (author), H.H. Hansen (author), F Bonchi (author), P Panangaden (author), JJMM Rutten (author), A Silva (author)

A logical viewpoint on architectures

Conference paper (2004) - FS de Boer (author), MM Bonsangue (author), J Jacob (author), A Stam (author), LWN van der Torre (author)