An equational axiomatization of systolic systems

DOI10.1016/0304-3975(87)90104-6zbMath0676.68042OpenAlexW1986555114MaRDI QIDQ1122990

Miklós Bartha

Publication date: 1987

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

Full work available at URL: https://doi.org/10.1016/0304-3975(87)90104-6

zbMATH Keywords

systolic systems

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Theory of operating systems (68N25)

Related Items (4)

Synthesis, structure and power of systolic computations ⋮ An algebraic model of synchronous systems ⋮ Foundations of a theory of synchronous systems ⋮ The monoidal structure of Turing machines

Cites Work

• Efficient detection of determinacy races in cilk programs
• Axiomatizing schemes and their behaviors
• A Perspective View of Discrete Automata and Their Design
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An equational axiomatization of systolic systems