Slide 1[ 1 ] Claus Brabrand, ITU BANANA ALGEBRA March 28, 2009 ETAPS/LDTA, York Banana Algebra: Jacob Andersen [ [email protected] ] Aarhus University Claus Brabrand [ [email protected]…