Author of the publication

Lax Bialgebras and Up-To Techniques for Weak Bisimulations.

, , , and . CONCUR, volume 42 of LIPIcs, page 240-253. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Up-to Techniques for Branching Bisimilarity., , and . SOFSEM, volume 12011 of Lecture Notes in Computer Science, page 285-297. Springer, (2020)On Star Expressions and Coalgebraic Completeness Theorems., , and . MFPS, volume 351 of EPTCS, page 242-259. (2021)Learning Language Intersections., and . A Journey from Process Algebra via Timed Automata to Model Learning, volume 13560 of Lecture Notes in Computer Science, page 371-381. Springer, (2022)Preservation and Reflection of Bisimilarity via Invertible Steps., , , and . FoSSaCS, volume 13992 of Lecture Notes in Computer Science, page 328-348. Springer, (2023)Fast Computations on Ordered Nominal Sets., , and . ICTAC, volume 11187 of Lecture Notes in Computer Science, page 493-512. Springer, (2018)Effectively Eliminating Auxiliaries., and . Theory and Practice of Formal Methods, volume 9660 of Lecture Notes in Computer Science, page 226-241. Springer, (2016)Composing Codensity Bisimulations., , , and . LICS, page 52:1-52:13. ACM, (2024)Expressive Logics for Coinductive Predicates., and . CSL, volume 152 of LIPIcs, page 26:1-26:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Forward and Backward Steps in a Fibration., , , and . CALCO, volume 270 of LIPIcs, page 6:1-6:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Distributive Laws for Monotone Specifications.. EXPRESS/SOS, volume 255 of EPTCS, page 83-97. (2017)