Reasoning in Event-Based Distributed Systems | EKB DL