Calculational derivation of a counter with bounded response time and bounded power dissipation

DOI10.1007/BF02242716zbMath1448.68126OpenAlexW2067126326MaRDI QIDQ5136989

Joep L. W. Kessels

Publication date: 30 November 2020

Published in: Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02242716

zbMATH Keywords

distributed systemscountersasynchronous circuitstransformational designsystolic designsrecursive designshandshake circuitsbounded response time

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Distributed systems (68M14)

Cites Work

• Compiling communicating processes into delay-insensitive VLSI circuits
• A calculus of communicating systems
• Laws of programming
• Communicating sequential processes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item