Items where authors include "Luckhardt, D."

Proceedings Paper

Luckhardt, D. orcid.org/0000-0002-1886-5622, Beohar, H. orcid.org/0000-0001-5256-1334 and Kupke, C. orcid.org/0000-0002-0502-391X (2025) Expressivity of bisimulation pseudometrics over analytic state spaces. In: Cîrstea, C. and Knapp, A., (eds.) Leibniz International Proceedings in Informatics. 11th Conference on Algebra and Coalgebra in Computer Science (CALCO 2025), 16-18 Jun 2025, Strathclyde, United Kingdom. Leibniz International Proceedings in Informatics (LIPIcs), 342 . .

Luckhardt, D. orcid.org/0000-0002-1886-5622, Beohar, H. orcid.org/0000-0001-5256-1334 and Küpper, S. (2024) On Kleisli liftings and decorated trace semantics. In: Electronic Notes in Theoretical Informatics and Computer Science. 40th Conference on Mathematical Foundations of Programming Semantics (MFPS), 19-21 Jun 2024, Oxford, United Kingdom. Centre pour la Communication Scientifique Directe (CCSD) .