Open Distributed Systems On Concepts, Methods, and Design from a Logical Point of View | EKB DL