Weighted Distributed Systems and Their Logics

Authors: 
Meinecke, Ingmar
Bollig, B.
Year: 
2007
Appeared / Erschienen in: 
In: "Symposium on Logical Foundations of Computer Science (LFCS 2007)", Lecture Notes in Computer Science, vol. 4514, Springer, 2007, pp. 54-68.