Feedback, trace and fixed-point semantics
From MaRDI portal
Publication:4787833
DOI10.1051/ita:2002009zbMath1050.68100OpenAlexW2116877111MaRDI QIDQ4787833
No author found.
Publication date: 2002
Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)
Full work available at URL: http://www.numdam.org/item?id=ITA_2002__36_2_181_0
Related Items (7)
Open Diagrams via Coend Calculus ⋮ Calculating Colimits Compositionally ⋮ On the geometry and algebra of networks with state ⋮ The monoidal structure of Turing machines ⋮ Blocked-braid groups ⋮ An Algebra of Automata That Includes Both Classical and Quantum Entities ⋮ Aspects of Categorical Recursion Theory
Cites Work
- Bicategories of processes
- On flowchart theories. I. The deterministic case
- Cartesian bicategories. I
- Coherence for compact closed categories
- An algebraic model of synchronous systems
- Matricial theories
- Braided tensor categories
- Feedback for linearly distributive categories: Traces and fixpoints
- Axiomatizing schemes and their behaviors
- Matrix and matricial iteration theories. I
- Matrices, machines and behaviors
- The compact closed bicategory of left adjoints
- Comparing cospan-spans and tiles via a Hoare-style process calculus
- Categories and Computer Science
- An imperative language based on distributive categories II
- Traced monoidal categories
- A note on recursive functions
- Algebraic Theory of Machines. I. Prime Decomposition Theorem for Finite Semigroups and Machines
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Feedback, trace and fixed-point semantics