Weighted Distributed Systems and Their Logics.

Benedikt Bollig, Ingmar Meinecke

Browse the full LFCS paper archive.