Additional Metadata
Series Post-proceedings of WADT 2014
Conference International Workshop on Algebraic Development Techniques
Citation
Fortin, M, Bonsangue, M.M, & Rutten, J.J.M.M. (2016). Coalgebraic semantics of heavy-weighted automata. In Lecture Notes in Computer Science.

Additional Files
25302.pdf Author Manuscript , 444kb