Goncharov, Sergey; Hofmann, Dirk; Nora, Pedro; Schröder, Lutz; Wild, Paul A point-free perspective on lax extensions and predicate liftings. (English) Zbl 07813378 Math. Struct. Comput. Sci. 34, No. 2, 98-127 (2024). MSC: 68-XX PDFBibTeX XMLCite \textit{S. Goncharov} et al., Math. Struct. Comput. Sci. 34, No. 2, 98--127 (2024; Zbl 07813378) Full Text: DOI arXiv
Wild, Paul; Schröder, Lutz Characteristic logics for behavioural hemimetrics via fuzzy lax extensions. (English) Zbl 07566075 Log. Methods Comput. Sci. 18, No. 2, Paper No. 19, 35 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{P. Wild} and \textit{L. Schröder}, Log. Methods Comput. Sci. 18, No. 2, Paper No. 19, 35 p. (2022; Zbl 07566075) Full Text: arXiv Link
Adámek, Jiří; Ford, Chase; Milius, Stefan; Schröder, Lutz Finitary monads on the category of posets. (English) Zbl 1495.18007 Math. Struct. Comput. Sci. 31, No. 7, 799-821 (2021). MSC: 18C15 PDFBibTeX XMLCite \textit{J. Adámek} et al., Math. Struct. Comput. Sci. 31, No. 7, 799--821 (2021; Zbl 1495.18007) Full Text: DOI arXiv
Wild, Paul; Schröder, Lutz A quantified coalgebraic van Benthem theorem. (English) Zbl 07410443 Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 551-571 (2021). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{P. Wild} and \textit{L. Schröder}, Lect. Notes Comput. Sci. 12650, 551--571 (2021; Zbl 07410443) Full Text: DOI
Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz Graded monads and graded logics for the linear time – branching time spectrum. (English) Zbl 07649944 Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 36, 16 p. (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{U. Dorsch} et al., LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 36, 16 p. (2019; Zbl 07649944) Full Text: DOI arXiv
Goncharov, Sergey; Schröder, Lutz; Rauch, Christoph; Piróg, Maciej Guarded and unguarded iteration for generalized processes. (English) Zbl 1467.68082 Log. Methods Comput. Sci. 15, No. 3, Paper No. 1, 47 p. (2019). Reviewer: Guillermo Morales Luna (Ciudad de México) MSC: 68Q55 18C15 18C20 68Q85 PDFBibTeX XMLCite \textit{S. Goncharov} et al., Log. Methods Comput. Sci. 15, No. 3, Paper No. 1, 47 p. (2019; Zbl 1467.68082) Full Text: arXiv
Goncharov, Sergey; Schröder, Lutz; Rauch, Christoph; Jakob, Julian Unguarded recursion on coinductive resumptions. (English) Zbl 1511.68077 Log. Methods Comput. Sci. 14, No. 3, Paper No. 10, 47 p. (2018). MSC: 68N30 18C20 PDFBibTeX XMLCite \textit{S. Goncharov} et al., Log. Methods Comput. Sci. 14, No. 3, Paper No. 10, 47 p. (2018; Zbl 1511.68077) Full Text: DOI arXiv
Goncharov, Sergey; Schröder, Lutz; Rauch, Christoph; Piróg, Maciej Unifying guarded and unguarded iteration. (English) Zbl 1486.68040 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, 517-533 (2017). MSC: 68N30 18C20 PDFBibTeX XMLCite \textit{S. Goncharov} et al., Lect. Notes Comput. Sci. 10203, 517--533 (2017; Zbl 1486.68040) Full Text: DOI
Milius, Stefan; Schröder, Lutz; Wißmann, Thorsten Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets. (English) Zbl 1375.18029 Appl. Categ. Struct. 24, No. 5, 663-701 (2016). MSC: 18C50 18C15 18A30 18B20 18B25 PDFBibTeX XMLCite \textit{S. Milius} et al., Appl. Categ. Struct. 24, No. 5, 663--701 (2016; Zbl 1375.18029) Full Text: DOI
Goncharov, Sergey; Rauch, Christoph; Schröder, Lutz Unguarded recursion on coinductive resumptions. (English) Zbl 1351.68074 Ghica, Dan (ed.), Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22–25, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 319, 183-198, electronic only (2015). MSC: 68N30 18C20 PDFBibTeX XMLCite \textit{S. Goncharov} et al., Electron. Notes Theor. Comput. Sci. 319, 183--198 (2015; Zbl 1351.68074) Full Text: DOI