Topological Self-Stabilization with Name-Passing Process Calculi.

Christina Rickmann, Christoph Wagner, Uwe Nestmann, Stefan Schmid

Browse the full CONCUR paper archive.