The calculus of signal flow diagrams. I: Linear relations on streams.

DOI10.1016/j.ic.2016.03.002zbMath1355.68188OpenAlexW2293138805MaRDI QIDQ729807

Fabio Zanasi, Paweł Sobociński, Filippo Bonchi

Publication date: 22 December 2016

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

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

zbMATH Keywords

Hopf algebralinear algebradistributive lawFrobenius algebraPROPstring diagramsignal flow graph

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)

Related Items

A Finite Axiomatisation of Finite-State Automata Using String Diagrams ⋮ Completeness of Nominal PROPs ⋮ String diagram rewrite theory II: Rewriting with symmetric monoidal structure ⋮ String Diagram Rewrite Theory I: Rewriting with Frobenius Structure ⋮ Categorical foundations of gradient-based learning ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Contextual equivalence for signal flow graphs ⋮ Unnamed Item ⋮ A string diagrammatic axiomatisation of finite-state automata ⋮ Universal Constructions for (Co)Relations: categories, monoidal categories, and props ⋮ Bialgebraic foundations for the operational semantics of string diagrams ⋮ Refinement for signal flow graphs ⋮ A recipe for black box functors

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Interacting Hopf algebras
• Fixed-point operations on ccc's. I
• A basic algebra of stateless connectors
• Cartesian bicategories. I
• Some algebraic aspects of signal processing
• Towards an algebraic theory of Boolean circuits.
• The formal theory of monads. II
• A tutorial on coinductive stream calculus and signal flow graphs
• Full Abstraction for Signal Flow Graphs
• Connector algebras for C/E and P/T nets' interactions
• Dagger Compact Closed Categories and Completely Positive Maps
• A Survey of Graphical Languages for Monoidal Categories
• Iterated distributive laws
• A Categorical Semantics of Signal Flow Graphs
• Representations of Petri Net Interactions
• Equational axioms for regular sets
• A Compositional Framework for Passive Linear Networks
• Traced monoidal categories
• Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits
• Interacting quantum observables: categorical algebra and diagrammatics
• Categories in Control
• The Behavioral Approach to Open and Interconnected Systems
• Interacting Bialgebras Are Frobenius
• (Co)Algebraic Characterizations of Signal Flow Graphs
• Categorical algebra