Bialgebraic foundations for the operational semantics of string diagrams
From MaRDI portal
Publication:2051792
DOI10.1016/j.ic.2021.104767OpenAlexW3165522655MaRDI QIDQ2051792
Paweł Sobociński, Filippo Bonchi, Fabio Zanasi, Robin Piedeleu
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
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Bialgebras for structural operational semantics: an introduction
- Transition system specifications with negative premises
- The calculus of signal flow diagrams. I: Linear relations on streams.
- Calculi for synchrony and asynchrony
- Higher-level synchronising devices in Meije-SCCS
- Statecharts: a visual formalism for complex systems
- Mobile ambients
- The seal calculus
- Full Abstraction for Signal Flow Graphs
- The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
- A Survey of Graphical Languages for Monoidal Categories
- A Categorical Semantics of Signal Flow Graphs
- Interacting Quantum Observables
- Quantum and Classical Structures in Nondeterminstic Computation
- The Space and Motion of Communicating Agents
- Communicating sequential processes
- Bisimulation can't be traced
- A categorical approach to open and interconnected dynamical systems
- Rewriting modulo symmetric monoidal structure
- Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits
- On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs
- Categories in Control
- Categorical algebra
- Presenting Distributive Laws
This page was built for publication: Bialgebraic foundations for the operational semantics of string diagrams
