Reasoning in Event-Based Distributed Systems

by Sven Helmer, Alexandra Poulovassilis, Fatos Xhafa