Temporal Stream Algebra
An event detection algebra for reactive systems