@article{article, title = {{On Kleisli liftings and decorated trace semantics}}, publisher = {{Centre pour la Communication Scientifique Directe (CCSD)}}, url = {{https://doi.org/10.46298/entics.14751 }}, year = {{2024}}, month = {{12}}, author = {{Luckhardt D and Beohar H and Küpper S}}, doi = {{10.46298/entics.14751}}, volume = {{Volume 4 - Proceedings of...}}, journal = {{Electronic Notes in Theoretical Informatics and Computer Science}}, note = {{Accessed on 2025/01/05}}}