The following pages link to (Q4492940):
Displaying 24 items.
- On the geometry and algebra of networks with state (Q517043) (← links)
- Asymptotic identity in min-plus algebra: a report on CPNS (Q642426) (← 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)
- Structural and behavioural equivalences of networks (Q1317434) (← 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)
- Algebraic structures for dynamic networks (Q2637088) (← links)
- The refinement calculus of reactive systems (Q2672236) (← links)
- The uniformity principle on traced monoidal categories (Q2842820) (← links)
- (Q3437548) (← links)
- Algebraic Methods Applied to Network Reliability Problems (Q3758857) (← links)
- Reaction and control I. Mixing additive and multiplicative network algebras (Q4383706) (← 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)
- The algebra of stream processing functions (Q5941194) (← links)
- Causal semantics for the algebra of connectors (Q5962120) (← links)
