Feedback, trace and fixed-point semantics

DOI10.1051/ITA:2002009MaRDI QIDQ4787833zbMATH OpenOpenAlexFDO

Authors

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, https://eudml.org/doc/92696, https://semanticscholar.org/paper/c4cc4764ffa664cc08c3b4663505e9ac95046e42

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)

Recommendations

• Trace semantics via determinization
• Trace semantics via determinization
• scientific article; zbMATH DE number 3921989
• Fixpoint semantics and simulation
• A fixed-point semantics for feature type systems
• Structure and properties of traces for functional programs
• Feedback automata and their languages
• A framework for interpreting traces of functional logic computations

Cites work

• scientific article; zbMATH DE number 1001723 (Why is no real title available?)
• scientific article; zbMATH DE number 4041280 (Why is no real title available?)
• scientific article; zbMATH DE number 3512082 (Why is no real title available?)
• scientific article; zbMATH DE number 1107620 (Why is no real title available?)
• scientific article; zbMATH DE number 1482700 (Why is no real title available?)
• scientific article; zbMATH DE number 1522866 (Why is no real title available?)
• scientific article; zbMATH DE number 1393359 (Why is no real title available?)
• scientific article; zbMATH DE number 233974 (Why is no real title available?)
• scientific article; zbMATH DE number 3344105 (Why is no real title available?)
• scientific article; zbMATH DE number 3366846 (Why is no real title available?)
• scientific article; zbMATH DE number 3198931 (Why is no real title available?)
• A note on recursive functions
• Algebraic Theory of Machines. I. Prime Decomposition Theorem for Finite Semigroups and Machines
• An algebraic model of synchronous systems
• An imperative language based on distributive categories II
• Axiomatizing schemes and their behaviors
• Bicategories of processes
• Braided tensor categories
• Cartesian bicategories. I
• Categories and Computer Science
• Coherence for compact closed categories
• Comparing cospan-spans and tiles via a Hoare-style process calculus
• Feedback for linearly distributive categories: Traces and fixpoints
• Matrices, machines and behaviors
• Matricial theories
• Matrix and matricial iteration theories. I
• On flowchart theories. I. The deterministic case
• The compact closed bicategory of left adjoints
• Traced monoidal categories

Cited in

(15)

• The fixed-point theory of strictly causal functions
• An algebra of automata that includes both classical and quantum entities
• Feedback for linearly distributive categories: Traces and fixpoints
• The monoidal structure of Turing machines
• scientific article; zbMATH DE number 168435 (Why is no real title available?)
• Blocked-braid groups
• Calculating Colimits Compositionally
• Monoidal streams for dataflow programming
• Differentiable causal computations via delayed trace
• Automata and coalgebras in categories of species
• scientific article; zbMATH DE number 1522866 (Why is no real title available?)
• Open diagrams via coend calculus
• On the geometry and algebra of networks with state
• Aspects of categorical recursion theory
• On fixed points of strictly causal functions

This page was built for publication: Feedback, trace and fixed-point semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4787833)