MB

MM Bonsangue

4 records found

Authored

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

Algebra-coalgebra duality in Brzozowski's minimization algorithm

(Co)algebraic characterizations of signal flow graphs
Conference paper (2014) - H Basold, MM Bonsangue, H. Hansen, JJMM Rutten

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