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)
Persistent URL	hdl.handle.net/1871.1/56f40c24-8cb4-4359-beb3-c28c3263838e
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. Retrieved from http://hdl.handle.net/1871.1/56f40c24-8cb4-4359-beb3-c28c3263838e

Publication