"Reasoning in Event-Based Distributed Systems" - читать интересную книгу автора (Sven Helmer, Alexandra Poulovassilis, Fatos Xhafa)