Additional Metadata
THEME Software (theme 1)
Promotor J.J.M.M. Rutten (Jan) , J.C.M. Baeten (Jos)
Degree Grantor VU Amsterdam
Series Institute for Programming research and Algorithmics Dissertation Series ; 2004/6
Citation
Bartels, F. (2004, June 3). On generalised coinduction and probabilistic specification formats : distributive laws in coalgebraic modelling. Institute for Programming research and Algorithmics Dissertation Series.