2016
Coalgebraic semantics of heavy-weighted automata
Publication
Publication
Presented at the
International Workshop on Algebraic Development Techniques (September 2014), Sinaia, Romania
Additional Metadata | |
---|---|
Post-proceedings of WADT 2014 | |
International Workshop on Algebraic Development Techniques | |
Organisation | Computer Security |
Fortin, M., Bonsangue, M., & Rutten, J. (2016). Coalgebraic semantics of heavy-weighted automata. In Lecture Notes in Computer Science. |