Author of the publication

Fractals from Regular Behaviours.

, , and . CALCO, volume 270 of LIPIcs, page 14:1-14:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)

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

Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness., , , and . ICALP, volume 198 of LIPIcs, page 142:1-142:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Fractals from Regular Behaviours., , and . CALCO, volume 270 of LIPIcs, page 14:1-14:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity., , , , and . ICALP, volume 261 of LIPIcs, page 136:1-136:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)How to write a coequation., and . CoRR, (2021)On Star Expressions and Coalgebraic Completeness Theorems., , and . MFPS, volume 351 of EPTCS, page 242-259. (2021)A (Co)Algebraic Framework for Ordered Processes.. CoRR, (2022)A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests., , and . ESOP, volume 13990 of Lecture Notes in Computer Science, page 309-336. Springer, (2023)How to Write a Coequation ((Co)algebraic pearls)., and . CALCO, volume 211 of LIPIcs, page 13:1-13:25. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Processes Parametrised by an Algebraic Theory., , , and . ICALP, volume 229 of LIPIcs, page 132:1-132:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Concrete barriers to quantifier elimination in finite dimensional C*-algebras., and . Math. Log. Q., 65 (4): 490-497 (2019)