@inproceedings{Bonchi2012aa,
 author = {Filippo Bonchi and Marcello M. Bonsangue and Georgiana Caltais and Jan J. M. M. Rutten and Alexandra Silva},
 booktitle = {Mathematical Foundations of Programming Semantics (MFPS)},
 doi = {10.1016/J.ENTCS.2012.08.006},
 title = {Final Semantics for Decorated Traces},
 year = {2012}
}

{"_id":"MDzm2CwWrLbgKPPuB","bibbaseid":"bonchi-bonsangue-caltais-rutten-silva-finalsemanticsfordecoratedtraces-2012","author_short":["Bonchi, F.","Bonsangue, M. M.","Caltais, G.","Rutten, J. J. M. M.","Silva, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Filippo"],"propositions":[],"lastnames":["Bonchi"],"suffixes":[]},{"firstnames":["Marcello","M."],"propositions":[],"lastnames":["Bonsangue"],"suffixes":[]},{"firstnames":["Georgiana"],"propositions":[],"lastnames":["Caltais"],"suffixes":[]},{"firstnames":["Jan","J.","M.","M."],"propositions":[],"lastnames":["Rutten"],"suffixes":[]},{"firstnames":["Alexandra"],"propositions":[],"lastnames":["Silva"],"suffixes":[]}],"booktitle":"Mathematical Foundations of Programming Semantics (MFPS)","doi":"10.1016/J.ENTCS.2012.08.006","title":"Final Semantics for Decorated Traces","year":"2012","bibtex":"@inproceedings{Bonchi2012aa,\n author = {Filippo Bonchi and Marcello M. Bonsangue and Georgiana Caltais and Jan J. M. M. Rutten and Alexandra Silva},\n booktitle = {Mathematical Foundations of Programming Semantics (MFPS)},\n doi = {10.1016/J.ENTCS.2012.08.006},\n title = {Final Semantics for Decorated Traces},\n year = {2012}\n}\n\n","author_short":["Bonchi, F.","Bonsangue, M. M.","Caltais, G.","Rutten, J. J. M. M.","Silva, A."],"key":"Bonchi2012aa","id":"Bonchi2012aa","bibbaseid":"bonchi-bonsangue-caltais-rutten-silva-finalsemanticsfordecoratedtraces-2012","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://alexandrasilva.org/files/silva.bib","dataSources":["BQAtJ795ujcMgoxSg","g3oJeDsRp4CMAYtS6"],"keywords":[],"search_terms":["final","semantics","decorated","traces","bonchi","bonsangue","caltais","rutten","silva"],"title":"Final Semantics for Decorated Traces","year":2012}