Martin Rem
-
Calculational derivation of a counter with bounded response time and bounded power dissipation
Distributed Computing
Rank order filters and priority queues