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 | |
---|---|
dx.doi.org/10.1017/S0960129514000449 | |
Mathematical Structures in Computer Science | |
Organisation | Computer Security |
Bonchi, F, Bonsangue, M.M, Caltais, G, Rutten, J.J.M.M, & Silva, A.M. (2016). A coalgebraic view on decorated traces. Mathematical Structures in Computer Science, 26(7), 1234–1268. doi:10.1017/S0960129514000449
|