2016-10-01
A coalgebraic view on decorated traces
Publication
Publication
Mathematical Structures in Computer Science , Volume 26 - Issue 7 p. 1234- 1268
Additional Metadata | |
---|---|
doi.org/10.1017/S0960129514000449 | |
Mathematical Structures in Computer Science | |
Organisation | Computer Security |
Bonchi, F., Bonsangue, M., Caltais, G., Rutten, J., & Silva, A. (2016). A coalgebraic view on decorated traces. Mathematical Structures in Computer Science, 26(7), 1234–1268. doi:10.1017/S0960129514000449 |