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

String Diagram Rewrite Theory I: Rewriting with Frobenius Structure., , , , and . CoRR, (2020)On Doctrines and Cartesian Bicategories., , , and . CALCO, volume 211 of LIPIcs, page 10:1-10:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Encoding Asynchronous Interactions Using Open Petri Nets., , and . CONCUR, volume 5710 of Lecture Notes in Computer Science, page 99-114. Springer, (2009)A Categorical Semantics of Signal Flow Graphs., , and . CONCUR, volume 8704 of Lecture Notes in Computer Science, page 435-450. Springer, (2014)Bisimilarity of Open Terms in Stream GSOS., , and . FSEN, volume 10522 of Lecture Notes in Computer Science, page 35-50. Springer, (2017)A Behavioural Congruence for Web Services., , , and . FSEN, volume 4767 of Lecture Notes in Computer Science, page 240-256. Springer, (2007)Reducing Weak to Strong Bisimilarity in CCP, , , and . ICE, volume 104 of EPTCS, page 2-16. (2012)Symbolic Semantics Revisited., and . FoSSaCS, volume 4962 of Lecture Notes in Computer Science, page 395-412. Springer, (2008)Interacting Bialgebras Are Frobenius., , and . FoSSaCS, volume 8412 of Lecture Notes in Computer Science, page 351-365. Springer, (2014)Graphical Affine Algebra., , , and . LICS, page 1-12. IEEE, (2019)