Publications
- Corecursion up-to via Causal Transformations, Damien Pous, Jurriaan Rot, Ruben Turkenburg (presented at CMCS '22, DOI)
- Preservation and Reflection of Bisimilarity via Invertible Steps, Ruben Turkenburg, Clemens Kupke, Jurriaan Rot, Ezra Schoen (presented at FoSSaCS '23, DOI)
- Forward and Backward Steps in a Fibration, Ruben Turkenburg, Harsh Beohar, Clemens Kupke and Jurriaan Rot (CALCO '23, DOI)
- Proving Behavioural Apartness, Ruben Turkenburg, Harsh Beohar, Clemens Kupke and Jurriaan Rot (CMCS '24, DOI)
- A Categorical Approach to Coalgebraic Fixpoint Logic, Ezra Schoen, Clemens Kupke, Jurriaan Rot and Ruben Turkenburg (CMCS '24, DOI)
Talks
- Corecursion up-to via Causal Transformations, presented at CMCS '22
- Preservation and Reflection of Bisimilarity via Invertible Steps, presented at NetTCS seminar 2022-12
- Preservation and Reflection of Bisimilarity via Invertible Steps, presented at FoSSaCS '23
- Forward and Backward Steps in a Fibration, presented at University of Sheffield seminar
- Forward and Backward Steps in a Fibration, presented at CALCO '23
- Proving Behavioural Apartness, presented at CMCS '24
Visits
Organisation