Pages that link to "Item:Q4787833"
From MaRDI portal
The following pages link to Feedback, trace and fixed-point semantics (Q4787833):
Displaying 12 items.
- On the geometry and algebra of networks with state (Q517043) (← links)
- Bicategories of processes (Q674474) (← links)
- Feedback for linearly distributive categories: Traces and fixpoints (Q1588062) (← links)
- Blocked-braid groups (Q2254601) (← links)
- The fixed-point theory of strictly causal functions (Q2257306) (← links)
- An algebra of automata that includes both classical and quantum entities (Q2825378) (← links)
- Calculating Colimits Compositionally (Q3507390) (← links)
- The monoidal structure of Turing machines (Q4917187) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- Open Diagrams via Coend Calculus (Q5019661) (← links)
- Monoidal streams for dataflow programming (Q6649486) (← links)
- Automata and coalgebras in categories of species (Q6666774) (← links)