Bialgebraic foundations for the operational semantics of string diagrams

DOI10.1016/J.IC.2021.104767MaRDI QIDQ2051792zbMATH OpenOpenAlexFDO

Authors Filippo Bonchi, Robin Piedeleu, Paweł Sobociński, Fabio Zanasi

Publication date 25 November 2021

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2021.104767

zbMATH Keywords

bialgebraic semanticsstring diagramsstructural operational semantics

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Bialgebras for structural operational semantics: an introduction
• Rewriting modulo symmetric monoidal structure
• Bialgebraic methods in structural operational semantics (invited talk)
• String diagram rewrite theory. I: Rewriting with Frobenius structure
• Structural congruence for bialgebraic semantics

Cites work

• A categorical approach to open and interconnected dynamical systems
• A categorical semantics of signal flow graphs
• A non-interleaving process calculus for multi-party synchronisation
• A structural and nominal syntax for diagrams
• A survey of graphical languages for monoidal categories
• Bialgebraic semantics for string diagrams
• Bialgebras for structural operational semantics: an introduction
• Bisimulation can't be traced
• Calculi for synchrony and asynchrony
• Categorical algebra
• Categories in control
• Communicating sequential processes
• Diagrammatic reasoning for delay-insensitive asynchronous circuits
• Full abstraction for signal flow graphs
• Generalizing the powerset construction, coalgebraically
• Higher-level synchronising devices in Meije-SCCS
• Hoare vs Milner: comparing synchronizations in a graphical framework with mobility
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 1314223 (Why is no real title available?)
• scientific article; zbMATH DE number 1107620 (Why is no real title available?)
• scientific article; zbMATH DE number 1927579 (Why is no real title available?)
• scientific article; zbMATH DE number 1497875 (Why is no real title available?)
• scientific article; zbMATH DE number 1531624 (Why is no real title available?)
• Interacting Quantum Observables
• Mobile ambients
• Nominal string diagrams
• On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs
• Presenting distributive laws
• Quantum and Classical Structures in Nondeterminstic Computation
• Rewriting modulo symmetric monoidal structure
• Statecharts: a visual formalism for complex systems
• The -calculus: A theory of mobile processes
• The calculus of signal flow diagrams. I: Linear relations on streams.
• The category theoretic understanding of universal algebra: Lawvere theories and monads
• The seal calculus
• The Space and Motion of Communicating Agents
• Transition system specifications with negative premises

Cited in

(5)

• Full abstraction for signal flow graphs
• Bialgebraic semantics for string diagrams
• Bialgebras for structural operational semantics: an introduction
• Weakening and iterating laws using string diagrams
• The relational machine calculus

This page was built for publication: Bialgebraic foundations for the operational semantics of string diagrams

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2051792)