An algebraic model of synchronous systems

DOI10.1016/0890-5401(92)90006-2zbMath0768.68098OpenAlexW2001209461MaRDI QIDQ1186811

Miklós Bartha

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

zbMATH Keywords

synchronous systemsfeedback theoryfinite state structural Mealy automata over an algebraic theoryleft adjoint constructionsymmetric monoidal 2-category

Mathematics Subject Classification ID

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