Feedback, trace and fixed-point semantics

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

zbMATH Keywords

traced monoidal categorycategory with feedback-with-delay

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Semantics in the theory of computing (68Q55)

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