More editions of Reasoning in Event-Based Distributed Systems (Studies in Computational Intelligence, 347):