STL: Combining Stream-based and Temporal Logics

This thesis describes a logic that bridges the gap between stream-based and temporal logics by incorporating both. The result is a logic where streams can not only calculate arithmetic but also temporal expressions.