Reasoning In Event-Based Distributed Systems door Alexandra Poulovassilis & Sven Helmer