Author of the publication

Structural congruence for bialgebraic semantics.

, and . J. Log. Algebraic Methods Program., 85 (6): 1268-1291 (2016)

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)Structural congruence for bialgebraic semantics., and . J. Log. Algebraic Methods Program., 85 (6): 1268-1291 (2016)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)Up-to Techniques for Branching Bisimilarity., , and . CoRR, (2020)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)Separation and Renaming in Nominal Sets., and . CoRR, (2019)Fast computations on ordered nominal sets., , and . Theor. Comput. Sci., (2022)Presenting Distributive Laws., , , and . Log. Methods Comput. Sci., (2015)