Items where authors include "Kupke, C."

Proceedings Paper

Turkenburg, R. orcid.org/0000-0001-7336-9405, Beohar, H. orcid.org/0000-0001-5256-1334, Kupke, C. orcid.org/0000-0002-0502-391X et al. (1 more author) (2024) Proving behavioural apartness. In: König, B. and Urbat, H., (eds.) Coalgebraic Methods in Computer Science. 17th IFIP WG 1.3 International Workshop, CMCS 2024, 06-07 Apr 2024, Luxembourg City, Luxembourg. Lecture Notes in Computer Science, 14617 . Springer Nature Switzerland , pp. 156-173. ISBN 9783031664373

Turkenburg, R., Beohar, H. orcid.org/0000-0001-5256-1334, Kupke, C. et al. (1 more author) (2023) Forward and backward steps in a fibration. In: Baldan, P. and de Paiva, V., (eds.) 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023). 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023), 19-21 Jun 2023, Padova, Italy. Leibniz International Proceedings in Informatics (LIPIcs), 270 . Schloss Dagstuhl – Leibniz-Zentrum für Informatik , 6:1-6:18.

Preprint

Turkenburg, R., Beohar, H. orcid.org/0000-0001-5256-1334, Kupke, C. et al. (1 more author) (2024) Proving behavioural apartness. [Preprint] (Submitted)