Author of the publication

A Categorical Semantics of Signal Flow Graphs.

, , and . CONCUR, volume 8704 of Lecture Notes in Computer Science, page 435-450. Springer, (2014)

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

Encoding Synchronous Interactions Using Labelled Petri Nets., , , and . COORDINATION, volume 8459 of Lecture Notes in Computer Science, page 1-16. Springer, (2014)Combining Semilattices and Semimodules., and . CoRR, (2020)Reactive systems, (semi-)saturated semantics and coalgebras on presheaves., and . Theor. Comput. Sci., 410 (41): 4044-4066 (2009)Lawvere Categories as Composed PROPs., , and . CMCS, volume 9608 of Lecture Notes in Computer Science, page 11-32. Springer, (2016)Deriving Labels and Bisimilarity for Concurrent Constraint Programming., , , , and . FoSSaCS, volume 6604 of Lecture Notes in Computer Science, page 138-152. Springer, (2011)Reactive Systems, Barbed Semantics, and the Mobile Ambients., , and . FoSSaCS, volume 5504 of Lecture Notes in Computer Science, page 272-287. Springer, (2009)The Theory of Traces for Systems with Nondeterminism and Probability., , and . LICS, page 1-14. IEEE, (2019)Coalgebraic Symbolic Semantics., and . CALCO, volume 5728 of Lecture Notes in Computer Science, page 173-190. Springer, (2009)Diagrammatic Algebra of First Order Logic., , , and . LICS, page 16:1-16:15. ACM, (2024)Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Bases ((Co)algebraic pearls)., , and . CALCO, volume 211 of LIPIcs, page 11:1-11:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)