The Reaction Algebra: A Formal Language for Event Correlation | Publicación