Abstract | ||
---|---|---|
Distributed algorithms are inherently hard to get right, and a major challenge is to come up with automated techniques for error detection and recovery. The talk will survey recent results on the synthesis of distributed monitors and controllers. |
Year | Venue | Field |
---|---|---|
2017 | FSTTCS | Discrete mathematics,Computer science,Error detection and correction,Distributed algorithm,Computer engineering |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Anca Muscholl | 1 | 1179 | 74.92 |