Coalgebraic semantics of heavy-weighted automata

Additional Metadata
THEME	Software (theme 1)
Series	preprint (not CWI, to be used with submitted papers)
Note	accepted for post-proceedings of WADT 2014. Springer LNCS. Published paper: DOI: 10.1007/978-3-319-28114-8_4
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	Fortin, M., Bonsangue, M., & Rutten, J. (2015). Coalgebraic semantics of heavy-weighted automata. preprint (not CWI, to be used with submitted papers).

Publication