The following pages link to (Q4492940):
Displaying 17 items.
- On the geometry and algebra of networks with state (Q517043) (← links)
- The calculus of signal flow diagrams. I: Linear relations on streams. (Q729807) (← links)
- A categorical model for the geometry of interaction (Q817846) (← links)
- A basic algebra of stateless connectors (Q860881) (← links)
- An algebra of hybrid systems (Q1001892) (← links)
- Dynamic connectors for concurrency (Q1603689) (← links)
- Petri nets are dioids: a new algebraic foundation for non-deterministic net theory (Q1713413) (← links)
- A string diagrammatic axiomatisation of finite-state automata (Q2233427) (← links)
- The refinement calculus of reactive systems (Q2672236) (← links)
- The Uniformity Principle on Traced Monoidal Categories (Q2842820) (← links)
- Feedback, trace and fixed-point semantics (Q4787833) (← links)
- Categorical rewriting of term-like structures (Q4923533) (← links)
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure (Q5058366) (← links)
- A Note on an Old-Fashioned Algebra for (Disconnected) Graphs (Q5170278) (← links)
- On Compiling Structured Interactive Programs with Registers and Voices (Q5448652) (← links)
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams (Q5883739) (← links)
- Causal semantics for the algebra of connectors (Q5962120) (← links)
