Pous, Damien; Rot, Jurriaan; Turkenburg, Ruben Corecursion up-to via causal transformations. (English) Zbl 07628070 Hansen, Helle Hvid (ed.) et al., Coalgebraic methods in computer science. 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2–3, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13225, 133-154 (2022). MSC: 68Q65 PDFBibTeX XMLCite \textit{D. Pous} et al., Lect. Notes Comput. Sci. 13225, 133--154 (2022; Zbl 07628070) Full Text: DOI
Pous, Damien; Rot, Jurriaan; Wagemaker, Jana On tools for completeness of Kleene algebra with hypotheses. (English) Zbl 07670530 Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 19th international conference, RAMiCS 2021, Marseille, France, November 2–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13027, 378-395 (2021). MSC: 68Qxx PDFBibTeX XMLCite \textit{D. Pous} et al., Lect. Notes Comput. Sci. 13027, 378--395 (2021; Zbl 07670530) Full Text: DOI arXiv
Pous, Damien; Sangiorgi, Davide Bisimulation and coinduction enhancements: a historical perspective. (English) Zbl 1427.68010 Formal Asp. Comput. 31, No. 6, 733-749 (2019). MSC: 68-03 68Qxx PDFBibTeX XMLCite \textit{D. Pous} and \textit{D. Sangiorgi}, Formal Asp. Comput. 31, No. 6, 733--749 (2019; Zbl 1427.68010) Full Text: DOI Link
Doumane, Amina; Pous, Damien Completeness for identity-free Kleene lattices. (English) Zbl 1520.68055 Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 18, 17 p. (2018). MSC: 68Q45 68Q70 68Q85 PDFBibTeX XMLCite \textit{A. Doumane} and \textit{D. Pous}, LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 18, 17 p. (2018; Zbl 1520.68055) Full Text: DOI
Pous, Damien; Rot, Jurriaan Companions, codensity and causality. (English) Zbl 1442.68149 Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10203, 106-123 (2017). MSC: 68Q85 03B70 06B23 08A70 18C15 68Q65 PDFBibTeX XMLCite \textit{D. Pous} and \textit{J. Rot}, Lect. Notes Comput. Sci. 10203, 106--123 (2017; Zbl 1442.68149) Full Text: DOI Link
Bonchi, Filippo; Petrişan, Daniela; Pous, Damien; Rot, Jurriaan A general account of coinduction up-to. (English) Zbl 1371.68186 Acta Inf. 54, No. 2, 127-190 (2017). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 68Q85 PDFBibTeX XMLCite \textit{F. Bonchi} et al., Acta Inf. 54, No. 2, 127--190 (2017; Zbl 1371.68186) Full Text: DOI
Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra Enhanced coalgebraic bisimulation. (English) Zbl 1380.68300 Math. Struct. Comput. Sci. 27, No. 7, 1236-1264 (2017). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 68Q85 18B20 18C15 18C50 68Q55 68Q70 PDFBibTeX XMLCite \textit{J. Rot} et al., Math. Struct. Comput. Sci. 27, No. 7, 1236--1264 (2015; Zbl 1380.68300) Full Text: DOI