26 search results - page 6 / 6 » Construction of Abstract State Graphs with PVS |
CORR
2011
Springer
13 years 7 days ago
2011
Springer
Abstract. In this paper, we propose a new construction of constantdegree expanders motivated by their application in P2P overlay networks and in particular in the design of robust ...