Reasoning in Event-Based Distributed Systems (Studies