Mark B. Josephs;Jan Tijmen Udding
-;-
Calculational derivation of a counter with bounded response time and bounded power dissipation
Distributed Computing