Open Distributed Systems: On Concepts, Methods and Design from a Logical Point of View (Vieweg advances studies in computer science) (Vieweg Advanced Studies in Computer Science)