Identifying the objects that constitute a software system is a critical task for any object-oriented system development and several techniques have already been introduced to tack...
ms, to use abstraction mappings to prove probabilistic properties, and to apply random walk theory in a distributed computational setting. We apply all of these techniques to analy...