Author of the publication

Bisimilarity of Open Terms in Stream GSOS.

, , and . FSEN, volume 10522 of Lecture Notes in Computer Science, page 35-50. Springer, (2017)

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

Coalgebraic Determinization of Alternating Automata., and . CoRR, (2018)Fast Computations on Ordered Nominal Sets., , and . ICTAC, volume 11187 of Lecture Notes in Computer Science, page 493-512. Springer, (2018)Up-to Techniques for Branching Bisimilarity., , and . CoRR, (2020)Expressive Logics for Coinductive Predicates., and . CSL, volume 152 of LIPIcs, page 26:1-26:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Presenting Distributive Laws., , , and . Logical Methods in Computer Science, (2015)Effectively Eliminating Auxiliaries., and . Theory and Practice of Formal Methods, volume 9660 of Lecture Notes in Computer Science, page 226-241. Springer, (2016)Structural congruence for bialgebraic semantics., and . J. Log. Algebraic Methods Program., 85 (6): 1268-1291 (2016)Distributive laws for monotone specifications.. Acta Inf., 56 (7-8): 585-617 (2019)A big step from finite to infinite computations., , , and . Sci. Comput. Program., (2020)Proving language inclusion and equivalence by coinduction., , and . Inf. Comput., (2016)