The following pages link to (Q4457215):
Displayed 5 items.
- Synchronous counting and computational algorithm design (Q896024) (← links)
- Fast computation by population protocols with a leader (Q2377254) (← links)
- Rigorously modeling self-stabilizing fault-tolerant circuits: an ultra-robust clocking scheme for systems-on-chip (Q2637656) (← links)
- Fault-tolerant algorithms for tick-generation in asynchronous logic (Q5501934) (← links)
- On specifications and proofs of timed circuits (Q6113972) (← links)