An algebraic model of synchronous systems
From MaRDI portal
Publication:1186811
DOI10.1016/0890-5401(92)90006-2zbMath0768.68098OpenAlexW2001209461MaRDI QIDQ1186811
Publication date: 28 June 1992
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0890-5401(92)90006-2
synchronous systemsfeedback theoryfinite state structural Mealy automata over an algebraic theoryleft adjoint constructionsymmetric monoidal 2-category
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Feedback, trace and fixed-point semantics ⋮ Foundations of a theory of synchronous systems ⋮ The monoidal structure of Turing machines
Cites Work
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Topological transformations as a tool in the design of systolic networks
- On flowchart theories. I. The deterministic case
- Independence of the equational axioms for iteration theories
- An equational axiomatization of systolic systems
- Partially additive categories and flow-diagram semantics
- Foundations of system theory: Decomposable systems
- On the algebraic structure of rooted trees
- A semantically meaningful characterization of reducible flowchart schemes
- Axiomatizing schemes and their behaviors
- Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation
- Vector Iteration in Pointed Iterative Theories
- The basic algebraic structures in categories of derivations
- Machines in a Category: An Expository Introduction
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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: An algebraic model of synchronous systems
