Pages that link to "Item:Q729807"
From MaRDI portal
The following pages link to The calculus of signal flow diagrams. I: Linear relations on streams. (Q729807):
Displaying 21 items.
- A Hoare logic for linear systems (Q469998) (← links)
- Bialgebraic foundations for the operational semantics of string diagrams (Q2051792) (← links)
- Contextual equivalence for signal flow graphs (Q2200814) (← links)
- A string diagrammatic axiomatisation of finite-state automata (Q2233427) (← links)
- Full abstraction for signal flow graphs (Q2819836) (← links)
- A recipe for black box functors (Q3294963) (← links)
- Props in Network Theory (Q4585017) (← links)
- Universal Constructions for (Co)Relations: categories, monoidal categories, and props (Q4585067) (← links)
- A semantics for hybrid iteration (Q5009436) (← links)
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure (Q5058366) (← links)
- String Diagram Rewrite Theory I: Rewriting with Frobenius Structure (Q5066951) (← links)
- Refinement for signal flow graphs (Q5111638) (← links)
- Categories in Control (Q5261936) (← links)
- Formal Methods for Components and Objects (Q5311292) (← links)
- (Q5875359) (← links)
- (Q5875361) (← links)
- (Q5875399) (← links)
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams (Q5883739) (← links)
- Completeness of Nominal PROPs (Q5883754) (← links)
- An implicit function theorem for the stream calculus (Q6563062) (← links)
- Towards a compositional framework for convex analysis (with applications to probability theory) (Q6629457) (← links)