Τα γεγονότα παρέχουν την θεμελιώδη αφαίρεση για την αναπαράσταση μιας χρονικά εξελισσόμενης πληροφορίας, η οποία μπορεί να επηρεάσει καταστάσεις κάτω από ορισμένες συνθήκες. Το πεδίο έρευνας της Αναγνώρισης Σύνθετων Γεγονότων επικεντρώνεται στην παρακολούθηση και ανάλυση ροών από γεγονότα, με στόχο τον εντοπισμό προτύπων από γεγονότα ιδιαίτερης σημασίας. Οι ροές από γεγονότα μπορούν να προέρχονται από διάφορες πηγές, όπως αισθητήρες, συστήματα παρακολούθησης με βίντεο, δίκτυα υπολογιστών κ.λπ. Επιπλέον, η ταχύτητα και ο όγκος των ροών από γεγονότα δημιουργούν σημαντικές προκλήσεις για τα συστήματα επεξεργασίας γεγονότων. Προτείνουμε το \end{otherlanguage}dRTEC\begin{otherlanguage}{greek}, ένα σύστημα αναγνώρισης γεγονότων που χρησιμοποιεί το φορμαλισμό του Λογισμού Πράξης και λειτουργεί σε πολλαπλούς πυρήνες υπολογιστών για κλιμακούμενη και κατανεμημένη αναγνώριση γεγονότων. Αξιολογούμε πειραματικά το \end{otherlanguage}dRTEC\begin{otherlanguage}{greek}, χρησιμοποιώντας δύο εφαρμογές του πραγματικού κόσμου και προβάλλουμε τη δυνατότητά του για αποδοτική αναγνώριση γεγονότων σε πραγματικό χρόνο.