Library
search
local_library
Repository
MB
MM Bonsangue
View Pure Profile
Authored
4 records found
A logical viewpoint on architectures
Conference paper -
FS de Boer
,
MM Bonsangue
,
J Jacob
,
A Stam
,
LWN van der Torre
(Co)algebraic characterizations of signal flow graphs
Conference paper -
H Basold
,
MM Bonsangue
,
H. Hansen
,
JJMM Rutten
Algebra-coalgebra duality in Brzozowski's minimization algorithm
Journal article -
MM Bonsangue
,
H.H. Hansen
,
F Bonchi
,
P Panangaden
,
JJMM Rutten
,
A Silva
Presenting distributive laws
Journal article -
MM Bonsangue
,
H.H. Hansen
,
A Kurz
,
J Rot