2 citations · 6 across the 4 of their papers we have counts for
1 paper · 1 filter
Andrei Damien, Cezara Dragoi, Alexandru Militaru +1
Synchronous computation models simplify the design and the verification of fault-tolerant distributed systems. For efficiency reasons such systems are designed and implemented usin…