Reasoning in event-based distributed systems

DOI10.1007/978-3-642-19724-6zbMATH Open1216.68049OpenAlexW2258009164MaRDI QIDQ532999FDOQ532999

Authors: Sven Helmer, Alexandra Poulovassilis, Fatos Xhafa 

Publication date: 2 May 2011

Published in: Studies in Computational Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-19724-6

Recommendations

• Reasoning on the efficiency of distributed complex event processing
• Knowledge-based synthesis of distributed systems using event structures
• Logic for Programming, Artificial Intelligence, and Reasoning
• Event Calculus Reasoning Through Satisfiability
• Reasoning about Knowledge in Asynchronous Distributed Systems
• Distributed event algebras
• Distributed event-based systems
• Decision problems in a logic for reasoning about reconfigurable distributed systems

Mathematics Subject Classification ID

Artificial intelligence (68T99) Distributed systems (68M14)

Cited In (5)

• Distributed event-based systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Information and services integrating and scheduling model for event handling
• Coordination Models and Languages

This page was built for publication: Reasoning in event-based distributed systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q532999)