Feedback, trace and fixed-point semantics
From MaRDI portal
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
- 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
- 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?)
- 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
(22)- Feedback for linearly distributive categories: Traces and fixpoints
- Blocked-braid groups
- The fixed-point theory of strictly causal functions
- An algebra of automata that includes both classical and quantum entities
- On fixed points of strictly causal functions
- Calculating Colimits Compositionally
- scientific article; zbMATH DE number 168435 (Why is no real title available?)
- scientific article; zbMATH DE number 1522866 (Why is no real title available?)
- The monoidal structure of Turing machines
- Aspects of categorical recursion theory
- Open diagrams via coend calculus
- On the geometry and algebra of networks with state
- Monoidal streams for dataflow programming
- Differentiable causal computations via delayed trace
- Automata and coalgebras in categories of species
- Bicategories of processes
- Automata and coalgebras in categories of species
- Coinductive streams in monoidal categories
- Bicategories of automata, automata in bicategories
- A categorical approach to reversible Turing machines and Brin-Thompson groups
- Compositional control-driven Boolean circuits
- A complete theory of sequential digital circuits: denotational, operational and algebraic semantics
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)
