STL: Combining Stream-based and Temporal Logics

for Degree: 
Contact Person: 
Status: 
Completed

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.