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

Additional Metadata
THEME	Software (theme 1)
Degree Grantor	VU Amsterdam
Promotor	J.J.M.M. Rutten (Jan) , J.C.M. Baeten (Jos)
Series	Institute for Programming research and Algorithmics Dissertation Series ; 2004/6
Organisation	Computer Security
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Bartels, F. (2004, June 3). On generalised coinduction and probabilistic specification formats : distributive laws in coalgebraic modelling. IPA dissertation series.

Publication