Title: Reasoning in Event-Based Distributed Systems
Subjects: Engineering, Artificial intelligence, Electronic data processing, distributed processing