On generalised coinduction and probabilistic specification formats : Distributive laws in coalgebraic modelling

Abstract

With only very few side obligations imposed on me, I could spend almost all of my time on actual research, and our frequent meetings and seminars gave me plenty of opportunity to present and discuss the ideas that I was working on.Collaboration with other research groups was particularly