Foundations of a theory of synchronous systems

DOI10.1016/0304-3975(92)90307-2zbMath0759.68067OpenAlexW1966140745MaRDI QIDQ1199824

Miklós Bartha

Publication date: 17 January 1993

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(92)90307-2

zbMATH Keywords

semantic models

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Topological transformations as a tool in the design of systolic networks
• On flowchart theories. I. The deterministic case
• An equational axiomatization of systolic systems
• Partially additive categories and flow-diagram semantics
• An algebraic model of synchronous systems
• 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
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES

This page was built for publication: Foundations of a theory of synchronous systems