Coalgebraic tools for bisimilarity and decorated trace semantics

Additional Metadata
Promotor	J.J.M.M. Rutten (Jan) , A. Ingólfsdóttir
Degree Grantor	Radboud Universiteit
Copromotor	A.M. Silva (Alexandra) , M.M. Bonsangue (Marcello)
ISBN	978-94-6191-968-7
Persistent URL	hdl.handle.net/2066/120149
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	Caltais, G. (2013, December 16). Coalgebraic tools for bisimilarity and decorated trace semantics. Retrieved from http://hdl.handle.net/2066/120149

Publication