The calculus of signal flow diagrams. I: Linear relations on streams.
From MaRDI portal
Publication:729807
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
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